On 3 July 2010 15:04, Andrew Coppin <andrewcop...@btinternet.com> wrote:
> > 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". _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
