¿Hay un nombre para este subconjunto de bifunctors?
Los bifunctors tienen una función de mapeo con esta firma: bimap :: (a -> b) -> (c -> d) -> p a c -> p b d También se puede tener un mapeo como este: othermap :: ((a, c) -> (b, d)) -> p a c -> p b d . . . Read more