Data.Tuple.Sequence
class
SequenceT
a b