Fonction Merging / Combinator in Fsharp

Question

J'ai une liste de fonctions acceptant le même type qu'une entrée, différents types que la sortie

 [ f_i :  Mytype -> res:Sometype_i ] 

Quelle opération peut les fusionner en une fonction du type suivant?

 f : Mytype -> \Product_i Mytype_i

Identique, si j'ai une liste de fonctions renvoyant le même type

 [ f_i : Mytype_i -> res:Sometype ] 

Quelle opération peut les fusionner en une fonction du type suivant?

 f : \Product_i Mytype_i ->  Mytype list

Ce serait un "Precombinator" ou "Postcombinator" canonique. (J'imagine qu'il a un nom en FP ..)