1 2 3 4 5 6
{-# LANGUAGE TemplateHaskell #-} module T5597a where import Language.Haskell.TH f :: Q Type -> Q Exp f t = [| (3,4) :: $t |]