scalaz
Profunctors are covariant on the right and contravariant on the left.
Contramap on A.
A
Functor map on B.
B
Profunctors are covariant on the right and contravariant on the left.