Add laws relating between Foldable/Traversable with their Bi- superclasses
Add laws relating between Foldable/Traversable with their Bi- superclasses
See https://github.com/haskell/core-libraries-committee/issues/205 for discussion.
This commit also documents that the tuple instances only satisfy the laws up to lazyness, similar to the documentation added in !9512 (closed).