concrete functor and monad transformers
Please see
http://git.haskell.org/packages/transformers.git/commitdiff_plain/2eea0505b8a3f05792d1060bfaed23341712e4e3
done, thanks