Page "Currying" Paragraph 16

The → operator is often considered right-associative, so the curried function type is often written as.

Conversely, function application is considered to be left-associative, so that is equivalent to.