вроде заставляют компилятор паниковать, если ты грязный тип передаешь
А этого достаточно для завтипов? Мне казалось, там разницу между, эээ, завтипами, построенными из одного класса, надо в системе типов поддерживать.
Хз, как это нормальным языком сказать, надеюсь, ты меня понял.