We need to understand if we implement this in term...

# arrow

[raulraja]

We need to understand if we implement this in terms of the arity support in Applicative. It would help if someone can come up with a gist that compiles even if it's with bad encoding and a concrete example where it can be tested. We may already have functions to get there in the type classes