David Menendez wrote: > Isn't that what we have right now? Typeable gives you a TypeRep, which > can be compared for equality. All the introspection stuff is in Data. Oh, yes, you're right. -- Ashley Yakeley