concrete functor and monad transformers

#12Canonicalise Monad instances

See

http://hub.darcs.net/hvr/transformers/patch/d8206b05791cceb49ad87ab7a0969d7445bd3304

(hope this is the right way to submit the equivalent of "pull requests" for Darcs)