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.