NumericCovariant and NumericContravariant added