***$ is the generalisation of Functor's
<$>.
***$ = rmap, just like <$> = fmap.
(You probably won't need to use this. <$> should be
sufficient.)
Since 0.11.1.0: Generalised to work on arbitrary
Profunctors.
**** is the generalisation of Applicative's
<*>.
(You probably won't need to use this except to define
ProductProfunctor instances. In your own code
<*> should be sufficient.)