/math/hs-bifunctors/