I've been working with some scrap-your-boilerplate functions for a while. Nevertheless, I tried to compile a module that imports Data.Data and Data.Typeable, though some functions like everywhere and mkT could not be found by the compiler. Where are these functions in the new versions of GHC?
mkT and everywhere are part of the syb package. I don't know that they've ever been part of base.