Buenas noches.
En ésta parte del ejercicio me definí una mónada para el data "Res" siguiendo la sugerencia.
Generé entonces una instancia de Functor, Applicative y Monad para "Res".
Ahora, en la letra pide que arme una instancia de monad para ResT, entiendo que la firma debería ser:
instance Monad m => Monad (ResT m) where ...
Porque lo que yo quiero es agregar el efecto de Res, o sea transformar una mónada m cualquiera en una mónada Res.
Ahora no entiendo como vincular la mónada Res, con la implementación de ésta monada ResT.
Revisé las diapositivas de clase sobre mónada transformer pero sigo sin poder asociar a como lo tendría que hacer en éste caso.
Muchas gracias!!