наследование один из краеугольных камней DOT, все развалится без него
Да, в цепочке наследования для типов-мемберов можно уточнять ограничения, это как-то соотносится с классами типов, монадами и эффектами? Я вот не представляю, как это можно скрестить. И более того, для меня загадка - нужно ли.
(Вроде как монады вполне мощны чтобы покрыть всё множество необходимых случаев, и обеспечить типобезопасность.)