head
Cons1
Cons1Functions
headOption
Fold
PTraversal
Cons
ConsFunctions
TraversalLaws
ApplyFold
ApplyTraversal