haskell - Cómo agregar una restricción a un constructor de tipos