**** package:product-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.)