head
Cons1
Cons1Functions
headMaybe
Fold
PTraversal
ConsFunctions
ApplyFold
headOption
Fold
PTraversal
Cons
ConsFunctions
TraversalLaws
ApplyFold
ApplyTraversal