Free derive from TemplateHaskell oppression.