Data.Tuple.Generic

Cons and uncons

class TupleCons a b x

Snoc and unsnoc

class TupleSnoc a b x