Changes to Typeable

[Tyson Whitehead]

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