Ok, no hay problema, te contesto acá:
El sistema de tipos de Haskell 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. 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.
saludos
El sistema de tipos de Haskell 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. 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.
saludos