Anscheinend ist es eine schlechte Idee, einer Datendeklaration eine Typeclass-Einschränkung zuzuweisen [src], [src].

Ich persönlich bin nicht auf den Wunsch gestoßen, die Typen in den von mir erstellten Datentypen einzuschränken, aber es ist mir nicht klar, warum die Sprachdesigner "entschieden haben, dass es eine schlechte Idee war, dies zuzulassen". Warum das?