monocle.function
append an element to the head
deconstruct an S between its head and tail
lift an instance of Cons using an Iso