Name: Anonymous 2011-12-19 8:54
Modelling monads with a typeclass is stupid. There isn't one true monad for a given type. It makes no sense that when you use bind with lists you automatically get concatmap.
$ ghci
GHCi, version 6.8.2: http://www.haskell.org/ghc/ :? for help
Loading package base ... linking ... done.
Prelude> ["Abc", 123]
<interactive>:1:8:
No instance for (Num [Char])
arising from the literal `123' at <interactive>:1:8-10
Possible fix: add an instance declaration for (Num [Char])
In the expression: 123
In the expression: ["Abc", 123]
In the definition of `it': it = ["Abc", 123]
Prelude>