Changes to Typeable

Johan Tibell johan.tibell at
Wed Oct 3 23:05:28 CEST 2012

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

More information about the Libraries mailing list