Defining a type for this function that works on arbitrary length tuples

Question

I\'m working on a parser combinator library and I need to implement a map function that takes N parsers in a tuple and a function that takes those