Type Parameters

Type parameters can specify constraints.

class G.<T: I> // T implements or extends I
	where T is K  // T also implements or extends K
{
}