NegValue: t.Type<NegValue> = ...