Здравствуйте, x-code, Вы писали:

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

Если грубо, то это как generic-интерфейсы, только конкретная реализация задаётся не в определении типа, а вне его.