head

Cons1 Cons1Functions

~~headMaybe~~

~~Fold~~ ~~PTraversal~~ ~~ConsFunctions~~ ~~ApplyFold~~

headOption

Fold PTraversal Cons ConsFunctions TraversalLaws ApplyFold ApplyTraversal