Rethink traversal and foldable

[dan323]

Traversal requires an applicative and foldable a monoid for their functions. Maybe we should define them with those structures included instead of passing them in the methods.