Классы типов

Читаю статью
http://habrahabr.ru/post/239151/
так и не могу в точности понять, что же такое "класс типов". Можете объяснить что это за концепция?

Пока на собственное сообщение не было ответов, его можно удалить.

Заголовок: