wip/hs-bifunctors
