{-# LANGUAGE TemplateHaskell,EmptyDataDecls #-} $(return Control.Applicative.<$> dataD (return []) (mkName "Void") [] [] [])