concrete functor and monad transformers

#26Instances for Proxy

The data type Proxy from Data.Proxy has trivial instances for everything in Data.Functor.Classes.