Фантазирую на тему сортов типов