From: Dhanji R. Prasanna <dhanji_at_gmail.com>
Date: Wed, 4 Jun 2008 08:20:11 +1000

On Wed, Jun 4, 2008 at 4:57 AM, Bill Burke <bburke_at_redhat.com> wrote:

> Wow, that works? i'll have to check it out.
>

Subtypes maintain some information about their super's type parameter:
http://gafter.blogspot.com/2006/12/super-type-tokens.html

Dhanji.