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