Hola,
El sistema de tipos de Haskell (y de la gran mayoría de los lenguajes de programación) no tiene suficiente expresividad como para imponer en la definición del tipo el tipo de restricciones que se piden en ese ejercicio, dado que se está predicando sobre los valores. Ese era un poco el problema al que queríamos que se enfrentaran con este ejercicio.
Por lo tanto la verificación la vas a tener que hacer luego en la función (o funciones) que construya valores de ese tipo y manejarlo como un TAD, utilizando siempre esas funciones.
saludos
El sistema de tipos de Haskell (y de la gran mayoría de los lenguajes de programación) no tiene suficiente expresividad como para imponer en la definición del tipo el tipo de restricciones que se piden en ese ejercicio, dado que se está predicando sobre los valores. Ese era un poco el problema al que queríamos que se enfrentaran con este ejercicio.
Por lo tanto la verificación la vas a tener que hacer luego en la función (o funciones) que construya valores de ese tipo y manejarlo como un TAD, utilizando siempre esas funciones.
saludos