1 2 3 4 5 6 7 8
module Foo where import Data.Typeable import Language.Haskell.TH foo :: Typeable a => Code Q a -> Code Q () foo = undefined