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

As a general rule we let the results of many operations be more defined than the laws require. Stream fusion runs into this exact same "issue". This sort of thing is necessary to makes a lot of things like "lazy state" and "lazy writer" possible at all. -Edward On Wed, Feb 17, 2016 at 2:25 PM, David Feuer wrote:

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 _|_ = (_|_, _|_)

_______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries