concrete functor and monad transformers

#28Backport Eq1/Ord1/Read1/Show1 instances for Proxy