Typing compose when some of arguments are generic or anonymous

Question

I would like to have a compose function that implements function composition. I want the definition of compose to be type-safe, allow for as many a