GenericTrait -> ValuedTraitType