re: I/O monad

[juan_gandhi]

Just agreed with Runar that, well, it's not a monad, because there's no associativity (duh)

Or? (ok, ok, lax weak pseudo promonad...)

Comments

[sassa-nf.livejournal.com]

yes, it doesn't work. I mean, the claim that it's not associative doesn't work.

In the end it is associativity of composition, because everything is turned into function of World returning World.