Re: Changes to Typeable

On October 4, 2012 17:19:24 Gábor Lehel wrote:

You still need a Typeable constraint!

There would *not* be an

instance Typeable a

there would only be

instance Typeable Foo instance Typeable Bar instance Typeable Baz ...

for every concrete type that is declared. But there's no universal instance, and there's no way to take advantage of the fact that every particular type has an instance.

Ah yes. I believe I follow now. Thanks! -Tyson