Type class relating aFunctionN[..., R] with an equivalent tupled functionFunction1[TupleN[...], R]
FunctionN[..., R]
Function1[TupleN[...], R]
a function type
a tupled function type (function of arity 1 receiving a tuple as argument)