То есть жалоба состоит в том что никто не сделал работу чтобы конкретно на вашем кейсе было проще задачу решить, и вы тоже не хотите эту же работу проделать, поэтому комьюнити - говно и фанатики бога Олега.
в терминах скалы (как обычно пишут НАСЛЕДНИКОВ СИЛД ТРЕЙТА в компаньон) здесь есть отдельно тип Rectangle и отдельно Shape.Rectangle, который в себе содержит первый
да они и в скале без наследования, никому не интересен этот бред про "без наследования", интересно, как вы автоматически распакуете вложенные рекорды с дискриминатором в популярной либе в другом зяыке