Почему сложно? Монады изначально использовались для описания эффекта бета-редукции в денотационных моделях нетипизированного lambda-исчисления. С типизированным, кстати, проблем особо и не было, потому что всем хватало STLC, в котором нет проблем с неопределённостью. Теоркат, фактически, пришлось затащить в информатику в отчаянных попытках понять, в каком смысле T может быть равно Т -> T. А потом уже понеслось. Но, кстати, первые описания прочих эффектов: работа с вводом/выводом или с памятью (что особо занимало умы) тоже были даны сначала в бестиповых денотационных конструкциях.
