concrete functor and monad transformers

#63Make compatible with upcoming base-4.13