1 2 3 4 5 6 7 8
{-# LANGUAGE TemplateHaskell #-} {-# LANGUAGE NamedWildCards #-} module NamedWildcardInTypeSplice where import Language.Haskell.TH metaType :: TypeQ metaType = [t| _a -> _a |]