Changes to Typeable
twhitehead at gmail.com
Fri Oct 5 20:30:24 CEST 2012
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.
More information about the Libraries