Function types

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