Changes to Typeable

[Johan Tibell]

On Wed, Oct 3, 2012 at 10:26 PM, Robin KAY <komadori at gekkou.co.uk> 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).