monocle.function
cons1 defines an Iso between a S and its head and tail.
cons1 defines an Iso between a S and its head and tail. cons1 is like cons but for types that have *always* a head and tail, e.g. a non empty list