okay, either way, a note elaborating of the role of `Bivariant` (be it small, large, or solely to complete the lattice) would probably be a good idea.

(I started reading the paper but decided that I shouldn't need to delve too deeply into it to review the remainder of your patch.)