Aparentemente es una mala idea poner una restricción de typeclass en una declaración de datos [fuente], [fuente].

Personalmente no he encontrado el deseo de restringir los tipos dentro de los tipos de datos que he creado, pero no es obvio para mí por qué los diseñadores de idiomas "decidieron que era una mala idea permitir". ¿Porqué es eso?