We decided to wrap the result of type checking in the Maybe monad (Illustration 5.20), whereas we did not wrap the result of interpretation (Illustration 5.2). Argue why it is more important to deal gracefully with failure in type checking than in interpretation.