Is there a collection of laws associated with the Foldable class? Or for Traversable?  - Conal<br>