monocle.function
append an element to the end
deconstruct an S between its init and last
lift an instance of Snoc1 using an Iso