1 2 3 4 5 6 7 8 9
{-# LANGUAGE TemplateHaskell #-} module T4233 where import Language.Haskell.TH w :: Q Type w = varT (mkName "w") f :: Q Type f = [t| $w -> $w |]