head
Cons1 Cons1Functions
headOption
Fold PTraversal Cons ConsFunctions TraversalLaws ApplyFold ApplyTraversal