use typle::typle; type TupleSequenceOutput where T0: Extract, T1: Extract, = (Option<::Output>, Option<::Output>); struct SeqIntoIter where T0: Into, T1: Into, { t: TupleSequenceOutput, } pub enum State where T0: std::io::Read, T1: std::io::Read, { Invalid, S0 { field: (Option,) }, S1 { field: (Option, Option) }, }