Bifunctor instance for (,) is not strictly law-abiding

[David Feuer]

I don't think we should fix this, because it would break code, but I do
think we should document it.

Bifunctor law:

bimap id id = id

But actually,

bimap id id _|_ = (_|_, _|_)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20160217/4bba8f2a/attachment.html>