concrete functor and monad transformers

#45Re-canonicalise monad instances

Sorry to bother you again, but while trying to ./validate GHC I noticed a minor regression:

http://git.haskell.org/packages/transformers.git/patch/440488496d14577ed9731145f8460653295e077e