En el caso de la negación estás haciendo Pattern Matching anidado para resolverlo, cosa que solo se permite con los pares. Además esto provoca que tu función tenga casos en los que rompe, por ejemplo: simplificar (Neg (Valor 10)). Te aconsejo utilizar subtareas para resolver este caso.
En el caso de la negación estás haciendo Pattern Matching anidado para resolverlo, cosa que solo se permite con los pares. Además esto provoca que tu función tenga casos en los que rompe, por ejemplo:
simplificar (Neg (Valor 10))
. Te aconsejo utilizar subtareas para resolver este caso.