Type classes are compiled to records under the hood. Proposing to make this simple correspondence between classes and types more explicit, I show how many language features related to deriving can be implemented as a library (https://gitlab.com/lysxia/ad-lib) rather than as ad hoc language extensions.