«

»

Type It Easy.

[...] as a rough-and-ready indication of what we mean by a "type," we may say that individuals, classes of individuals, relations between individuals, relations between classes, relations of classes to individuals, and so on, are different types.

Bertrand Russell: Introduction to Mathematical Philosophy