Hi David,

The Foldable Laws are here https://dnssec-stats.ant.isi.edu/~viktor/haskell/docs/libraries/base/Data-Foldable.html#g:21

In the Data-Foldable doco. (There's a menu entry on the sidebar, or text search.)

The Data-Traversable doco has only the Traversable Laws.

> I'm not talking about whether they're first or last. They're currently not part of the class documentation *at all*. They're only in the Data.Traversable documentation.