Problem with Data.Dynamic

[Alastair Reid]

Rewrite this definition:

> instance Typeable Foo where typeOf _ = mkAppTy (mkTyCon "Foo.Foo") []

like this:

> instance Typeable Foo where typeOf _ = mkAppTy fooFooTc []
> fooFooTc = mkTyCon "Foo.Foo"

The problem is caused by a very dubious optimization used in the
representation of TyCons whcih really ought to be fixed.

--
Alastair Reid                 alastair@reid-consulting-uk.ltd.uk  
Reid Consulting (UK) Limited  http://www.reid-consulting-uk.ltd.uk/alastair/