**** -package:rhine

**** 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.)
Generates a 5-tuple using its arguments to generate the parts.