Where do types come from?

Matthias Noback