1 2 3 4 5 6 7
{-# LANGUAGE TemplateHaskell #-} module TH_Promoted1Tuple where import Language.Haskell.TH $(sequence [tySynD (mkName "F") [] (appT (promotedTupleT 1) (conT ''Int))])