Currently the constraint type needs to be specified twice when using GenericConstraintDef:

This could be avoided by providing a static factory method which leverages type inference:

Or we provide a parameterless constructor used by anonymous subclasses and retrieve the value of the type parameter internally:

The latter would break compatability though if we want to enforce subclassing by making GenericConstraintDef an anonymous class.