[Template-haskell] types.

[Keean Schupke]

Is it possible to get at type information from TH? I am thinking of 
something
like the following:

f a = a + 1

{- ghc derives the type: f :: Integral a => a -> a -}

Can I get at this derives type information? It would be very useful for 
the project I am working on... can I just reify the type of the function?

    Keean.