*** package:product-profunctors

Use \f g -> (,) <$> lmap fst f <*> lmap snd g instead. (***!) may be deprecated in a future version.
***$ 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.)