GHCi: add bifunctors.