Category "currying"

Why does partial application work when currying but not with .bind()?

I'm practicing partial application of a function, that is, fixing function arguments. I've learned two ways to achieve it: By currying the original function fir

Why isn't (b) of (a -> (b -> c)) the first parameter in the function definition but the second in type signature?

If first parameter is taken by the function first as function application is left-associative, for example: drop 2 [1,2,3,4] result: [3,4] is equivalent to (dr