Какой вообще смысл бороться за чистоту здесь и пытаться ограничить других, если эту самую чистоту типов толком невозможно проверить, а только верить или не верить что человек не ошибся.
ИИИИ! Сейчас конечно у некоторых пойдёт дикое внутреннее противоречие и припекание внутри: "ОХ КАК ЖИ ТАК, Я ПО ТЕКСТАМ ВИЖУ ЧТО ОН ДРУГОЙ ТИП" "НУ ТОЧНО ДРУГОЙ" "НУ ВОТ ТОЧНО ВИЖУ"
Так и будет, 100%.