monocle.function
append an element to the head
deconstruct an S between its head and tail
(Since version 1.1.0) use headOption
(Since version 1.1.0) use tailOption