Snoc1

Snoc1 is a typeclass that defines an Iso between an S and its init H and last T.

Snoc1 is like Snoc but for types that have always an init and a last element, e.g. a non empty list.