Contravariant functors
Contravariant
Contravariant functor
contramap(f, x)
contramap
(a -> b) -> f b -> f a
contrareplace(b, x)
contrareplace
b -> f b -> f a
Table of contents: