types.

Keean Schupke <[email protected]> Fri, 18 Feb 2005 09:11:52 +0000

Newsgroups	gmane.comp.lang.haskell.template
Message-ID	<[email protected]>

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.