monocle.function
append an element to the head
deconstruct an S between its head and tail
lift an instance of Cons using an Iso
(Since version 1.1.0) use headOption
(Since version 1.1.0) use tailOption