Limitações de classe média nas declarações de dados
Aparentemente, é uma má ideia colocar uma restrição typeclass em uma declaração de dados [src], [src].
Eu pessoalmente não encontrei um desejo de restringir os tipos dentro dos tipos de dados que criei, mas não é óbvio para mim porque os designers de linguagem "decidiram que era uma má ideia permitir". Por que é que?