Depois de tocar nas Mônadas no que diz respeito à programação funcional, o recurso realmente torna uma linguagem pura ou é apenas mais um "cartão de saída da cadeia" para raciocinar sobre sistemas de computadores no mundo real, fora da matemática do quadro-negro?

EDITAR:

Isso não é isca de fogo, como alguém disse neste post, mas uma pergunta genuína que eu espero que alguém possa me derrubar e dizer, prova, é pura.

Também estou analisando a questão com relação a outras linguagens funcionais não tão puras e algumas linguagens OO que usam bom design e comparam a pureza. Até agora, no meu mundo muito limitado de FP, ainda não encontrei a pureza das Mônadas, você ficará satisfeito em saber que gosto da idéia de imutabilidade, que é muito mais importante no que diz respeito à pureza.