Hi David, The Foldable Laws are here https://dnssec-stats.ant.isi.edu/~viktor/haskell/docs/libraries/base/Data-Fo... 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.