<p dir="ltr">I don't think we should fix this, because it would break code, but I do think we should document it.</p>
<p dir="ltr">Bifunctor law:</p>
<p dir="ltr">bimap id id = id</p>
<p dir="ltr">But actually,</p>
<p dir="ltr">bimap id id _|_ = (_|_, _|_)</p>