ML también tiene mónadas: Todo se reduce a los módulos

La percepción común de que el uso de mónadas en Haskell es una característica exclusiva del lenguaje se cuestiona. El autor argumenta que las mónadas son una cuestión de diseño de biblioteca, no de diseño de lenguaje, y se pueden lograr en cualquier lenguaje modular. El artículo usa ML para demostrar cómo las mónadas, incluidas las mónadas Option e IO, se pueden implementar utilizando su sistema de módulos. Si bien reconoce la capacidad de ML para las mónadas, el autor sugiere que su omisión predeterminada se debe a posibles inconvenientes, como dificultar la flexibilidad del código y la transición entre estilos funcionales y monádicos.