monocle.function
snoc1 defines an Iso between a S and its init and last element.
snoc1 defines an Iso between a S and its init and last element. snoc1 is like snoc but for types that have *always* an init and a last element, e.g. a non empty list