[Haskell-cafe] Re: [Haskell] Top Level <-

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