monocle.function
append an element to the end
deconstruct an S between its init and last
lift an instance of Snoc using an Iso
(Since version 1.1.0) use initOption
(Since version 1.1.0) use lastOption