Typeable<n> classes

Matthew Pocock matthew.pocock at ncl.ac.uk
Fri Jul 20 11:51:53 EDT 2007


I've been trying to use `deriving (Typeable, Data)' on some datatypes with
arity 8 and 15, but GHC has been complaining. There aren't any Typeable<n>
classes defined in Data.Typeable that go beyond 7.

Is there a reason for this particular limit?

If not, could it be extended further e.g. to 15?

Is this likely to let GHC derive Typeable instances for my data types?



More information about the Libraries mailing list