With the new feature of covariance in C# 9, I\'m looking to create a property that becomes refined in derived classes, the following way: