A higher-kinded function, where each parameter shares the same type constructor M[_].
M[_]
Convert the higher-kinded function to a Function1. For tuples that means call .tupled.
.tupled