In Haskell you usually solve this by just creating an infix operator and use chaining. No need for complicated constructions to type your varargs. Like composi

In Haskell you usually solve this by just creating an infix operator and use chaining. No need for complicated constructions to type your varargs. Like composition: `f . g . h $ a`