that gives you a a typesafe functor map for any ar...
# arrow
r
that gives you a a typesafe functor map for any arbitrary arities