For zero data constructors you need to use only EmptyDataDecls extension.