1 2 3 4 5 6 7 8 9 10
{-# LANGUAGE TemplateHaskell #-} module T5795 where import Language.Haskell.TH ty :: Q Type ty = [t| Int |] f :: $ty f = undefined