instances of Typable

[Glynn Clements]

Hal Daume III wrote:

> if I have
> 
> newtype Foo = Foo Int
> 
> and i want to make it an instance of typeable, how do I create a TypeRep
> object?

	fooTc :: TyCon
	fooTc = mkTyCon "Foo"
	
	instance Typeable Foo where
	    typeOf _ = mkAppTy fooTc []

-- 
Glynn Clements <glynn.clements@virgin.net>