General

En la prate e) no estoy entendiendo cuando hay que hacer el intermprete [InterM = ResT (Reader Env) Int] ya que en el casos de una divicion entre cero o no exista la variable no podemos hacer coincidir los tipos,

Cual Seria la deferencia en entre el evalucador e el interprete.