Function combinators and types for multi-argument functions - View it on GitHub