Иди нахер со своей субъективной оценкой реальности

Математические структуры

Если в расте нет - значит не нужно

Есть пример агды с отвратительной композицией и великолепного аренда с наследованием

В итоге в аренде структуры более детализированные

И пользоваться удобнее

Щас будет такая же лабуда как с гофером антидженеричником

Это не пример реальной задачи

Абсолютно реальной задачи пример

И как там наследование помогает?

Так, что ты можешь описать структуру коммутативной группы, унаследовавшись от группы и коммутативного моноида, у тебя доступны все операции и свойства их, и их предков напрямую, и все леммы подходят напрямую.
Не нужно делать 30 конверсий, чтобы распаковать над-над-над-над-над структуру.
И самое главное, что ты знаешь, что моноид входит в структуру один раз, а не два разных упакованных отдельных члена упакованной группы и коммутативного моноида, для которых тебе нужно требовать свойство, что они равны, чтобы доказательства не ломались

Во всех языках без наследования упаковка матструктур - это отдельная теория

В нематематике тоже описывают примеры, как удобно, когда есть миксины у модулей, это херовое, но наследование

можно например поискать пример почти ФП языка, где fromList - это не десять разных функций для каждой коллекции, которые нужно с префиксами импортить, и посмотреть, как там это сделано

хотя в хошкеле тоже можно было сделать через тупекласс, но почему-то не сделали

Есть такой для синтаксиса списков. Вывод ломает

ну вот

Ну так или вывод или подтипирование

Выбирай на вкус

По моему идустриально-инженерному опыту только одно применение наследования было удобно - гуй на виджетах. Но так гуй делать теперь не модно