concrete functor and monad transformers
The data type Proxy from Data.Proxy has trivial instances for everything in Data.Functor.Classes.
Proxy
Data.Proxy
Data.Functor.Classes
Data.Functor.Classes has moved to base for GHC 8.0.