подумала, выпилился из чата

Это телеграм глючит, я ничо не трогал.

Система букмекера была гвоздями прибита к модели команда против команды, где ставки делались на 1 или 2.

А когда участников больше 2 - проблемы. Тогда сделали много участников, но потом выяснилось что можно делать ставки не только на собаку, но и на будку, из которой собака бежит (очень странно, да, но вот так), типа тебе пофигу.
И тогда будки добавили как участников соревнований, для которых точно так же проводился расчет добежала будка или нет.
В дебаг вью будки бежали наравне с собаками до финишной прямой

На самом деле, я не понимаю, почему. Мне кажется, что тайпклассы — это прям наследование реализации в чистом виде.

И на них все радуются

Но у нас их нет!

И тайпклассы это композиция

Типа накидал тайпклассов, получил что хочешь

Композиция не мешает, получается, наследовать реализацию.

Получается да

В базовом классе пишешь, что (=) = not << (!=), а (!=) = not << (=), и всё.

Потому что там такая же иерархия. Все что монада - функтор

Юзер перегружает одно, а второе наследует

Реализацию наследует! Ужасы!

Ну как с жирафом и животными

Я не вижу, в каком месте они композиция.

Вроде бы наследование как наследование :)

А как у них diamond problem решается?

Ну ты можешь сказать что хочешь монаду с логером здесь

А не просто монаду!