It's needed to represent generically product types...

# arrow-contributors

[raulraja]

It's needed to represent generically product types in Arrow with arbitrary arity in the different functions such as Applicative#map