General

Hola, muchas gracias Alberto.

Lo que no me termina de quedar claro entonces, es en el caso (por ejemplo) de type M a = ExceptT Error (ReaderT Env Identity) a que debería instanciar para hacer correctamente el ejercicio.

Saludos,
Rafael.