Does not need TemplateHaskell.