Renamer part of stand-alone deriving extension.