"However, these examples show that function types are not necessarily primitive, and that a language in which you can define your own (->) is conceivable." . . . .