¿Por qué los efectos secundarios se modelan como mónadas en Haskell?
¿Alguien podría dar algunos consejos sobre por qué los cálculos impuros en Haskell se modelan como mónadas?
Quiero decir, mónada es solo una interfaz con 4 operaciones, entonces, ¿cuál fue el razonamiento para modelar los efectos secundarios?