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