The typeX -> Y
is a type for functions that take arguments of typeX
and yield results of typeY
.Application of the binary type constructor->
associates to the right, so the typeX -> Y -> Z
is the same as the typeX -> (Y -> Z)
.
The typeX -> Y
is a type for functions that take arguments of typeX
and yield results of typeY
.Application of the binary type constructor->
associates to the right, so the typeX -> Y -> Z
is the same as the typeX -> (Y -> Z)
.