module Foo where

import Data.Typeable
import Language.Haskell.TH


foo :: Typeable a => Code Q a -> Code Q ()
foo = undefined