¿Por qué no se ejecutará un IO anidado en otras mónadas? ¿Hay alguna manera de obligarlos a hacerlo?

Este es un seguimiento de mi última pregunta.Acción IO anidada en otras mónadas que no se ejecutan

La solución a esa pregunta fue eliminar algunas de las mónadas, y eso permitió que se ejecutara la acción IO.

¿Por qué necesitaba deshacerme de las mónadas? ¿Hay alguna forma de ejecutar el IO sin desapego?

Nota: Esto es uny si más que una pregunta sobre buenas o malas prácticas.

Respuestas a la pregunta(3)

Su respuesta a la pregunta