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

Kiedy powinienem / powinnam używać ogólnych ograniczeń typu?

Mam klasę podstawową:

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

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

Instancja funktora dla GADT z ograniczeniem typu

Dlaczego ogólne ograniczenie typu powoduje brak ukrytego błędu konwersji odniesienia?