3 Jul
2010
3 Jul
'10
11:53 a.m.
On 3 July 2010 15:04, Andrew Coppin
I said "does something that doesn't fall under one of these". The identity monad, by contrast, does nothing that does fall under these. :-P (It falls under zero of these.)
Okay, how about: The probability monad The powerset monad The monad of locales http://www.cs.bham.ac.uk/~mhe/papers/pinjective.pdf The filter monad http://www.cs.bham.ac.uk/~mhe/papers/filtersnorthbay2.pdf Once you move into the mathematically territory I couldn't tell you want the monads actually do, but on the surface they don't seem very "effectful".