Cons1

Cons1 is a typeclass that defines an Iso between an S and its head H and tail T.

Cons1 is like Cons but for types that have always a head and a tail, e.g. a non empty list.