[Haskell-cafe] Is my code too complicated?

[Stephen Tetley]

On 3 July 2010 15:04, Andrew Coppin <andrewcoppin at 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".