Funzione di fusione / combinatori in fsharp

Question

Ho un elenco di funzioni che accettano lo stesso tipo di un input, diversi tipi di output

 [ f_i :  Mytype -> res:Sometype_i ] 

Quale operazione può unirli in una funzione del seguente tipo?

 f : Mytype -> \Product_i Mytype_i

Identicamente, se ho un elenco di funzioni che restituiscono lo stesso tipo

 [ f_i : Mytype_i -> res:Sometype ] 

Quale operazione può unirli in una funzione del seguente tipo?

 f : \Product_i Mytype_i ->  Mytype list

Sarebbe un "precombinator" canonico o "postcombinator". (Immagino che abbia un nome in fp ..)