§9.3 Restrictions and limitations

(a) No overriding

Types with value parameters that are declared outside a team cannot be overridden, as roles can be. Therefor, implicit inheritance does not apply for these types.

(b) Only first parameter

Currently only the first parameter of a class may be a value parameter. This restriction may be removed in the future.