| Subject | English | Russian |
| progr. | container-type class | класс-контейнер (англ. термин взят из кн.: De Sanctis V. ASP.NET Core and Angular 2 Alex_Odeychuk) |
| progr. | type class | класс типов (реализует единую независимую таблицу виртуальных методов для множества (универсально квантифицированных) типов. Этим классы типов отличаются от классов в объектно-ориентированном программировании, где всякий объект всякого (ограниченно квантифицированного) типа сопровождается указателем на таблицу виртуальных методов. Классы типов являются не типами, но категориями типов; их экземпляры представляют собой не значения, а типы Alex_Odeychuk) |
| math. | type class | типовой класс |
| progr. | type class instance | экземпляр типового класса (Alex_Odeychuk) |