In Haskell, `a -> b -> c` and `a -> (b -> c)` are the same types.