Re: Changes to Typeable

On Wed, Oct 3, 2012 at 10:26 PM, Robin KAY wrote:

Simon's comment that it "would save tons of lookup in the massive Typeable-instance table" seemed to me to imply that there was some kind of optimisation you could make if Typeable wasn't really a type-class internally anyway.

I would think the opposite is true; GHC is good at optimizing overloaded functions when the type is known (this is what INLINABLE does).