cats.data
Prod is a product to two independent functor values.
See: The Essence of the Iterator Pattern
Prod is a product to two independent functor values.
See: The Essence of the Iterator Pattern