I would say imperative monad = XT IO for some X ? I.e. the "main monad" of most real world programs, unfortunately.
-
-
This Tweet is unavailable.
- Show replies
-
-
-
-
What makes it "imperative"? And what does the IO monad have to do with IO?
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.