A type class of types which give rise to two independent, covariant functors.
Must obey the laws defined in cats.
Must obey the laws defined in cats.
A Profunctor is a Contravariant functor on its first type parameter and a Functor on its second type parameter.
Must obey the laws defined in cats.