Eu liEste artigo, mas não entendi a última seção.

O autor diz que o Monad nos dá sensibilidade ao contexto, mas é possível obter o mesmo resultado usando apenas uma instância aplicável:

let maybeAge = (\futureYear birthYear -> if futureYear < birthYear
    then yearDiff birthYear futureYear
    else yearDiff futureYear birthYear) <
let maybeAge = (\futureYear birthYear -> if futureYear < birthYear
    then yearDiff birthYear futureYear
    else yearDiff futureYear birthYear) <$> (readMay futureYearString) <*> (readMay birthYearString)
gt; (readMay futureYearString) <*> (readMay birthYearString)

É mais feio com certeza sem a sintaxe, mas ao lado disso eu não vejo porque precisamos da Mônada. Alguém pode esclarecer isso para mim?