Category "type-signature"

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