AT
Ну ИМХО, всегда явно передавать в полиморфную функцию модуль, который однозначно определяется из типа «настоящего» аргумента – это как всегда явно указывать у значения тип, когда он легко может быть выведен
Допустим. Но по мне это всё равно очень слабый аргумент за классы типов. Учитывая плохую интеграцию с первоклассными модулями, и то, что это существенно более редкий случай, чем типы.