АВ
А в данном случае придется эти импорты указывать.
В хаскеле и расте решили что возможность писать всегда без импортов важнее.
В скале решили, что важнее возможность иметь несколько реализаций и там надо импортировать тайпклассы
Size: a a a
АВ
Dv
DS
Dv
NM
IEnumerable
— тайпкласс!DS
Dv
Dv
DS
Dv
newtype
— мой newtype
же перестанет быть моноидом?O
Dv
O
Dv
DS
Dv
Dv
DS