Typowe wątki heterogeniczne listy i domyślne (?) Z rodzinami typów?

Pracuję nad biblioteką, w której chcę zdefiniować klasę rekurencyjną, którą tutaj uprościłem:

„wpisz rodzinę” vs „rodzina danych”, w skrócie?

rodziny danych korzystają z przypadków

Zalety używania typusynonim rodziny są jasne - to funkcje na poziomie typu.Ale tak nie jestdane rodziny - więc moje pytanie brzmi: co to są przypadki użycia ...

Niezrozumiały komunikat o błędzie z rodzinami typów

Staram się zrozumieć rodziny typu bez większego sukcesu. Oto minimalny przykład:

Jak umieścić ograniczenia w powiązanych danych?

Chciałbym stwierdzić, że powiązane dane są zawsze instancją pewnej klasy.

Haskell: Definicje instancji dla rodzin typów

Powiedzmy, że mamy następujący kod:

Czy możliwe jest wprowadzenie dodatkowych zmiennych typu do ograniczenia superklasy?