haskal nomad?

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.

thunk
This expression is of type noun but an expression of type verb was expected.