1{-# LANGUAGE TemplateHaskell, RankNTypes #-} 2{-# OPTIONS_GHC -F -pgmFtrhsx #-} 3import Language.Haskell.TH 4 5data PageFunction m a = PF 6main 7 = let a = mkName "a" in 8 runQ [t| forall m . PageFunction m $( conT (mkName "a") ) |] >>= 9 print 10