Buenas, tengo una duda en donde dice:
Entonces,
eval :: Exp → Maybe Int
eval (Num n) = return n
eval (Add x y) = eval x >>= λa → eval y >>= λb → return (a + b)
eval (Div x y) = eval x >>= λa →
eval y >>= λb →
a ‘divM‘ b
La pregunta es:
Qué pasa si lo que está en negrita devuelve Nothing?