In D, the covariance/contravariance of contract inheritance is an important aspect of the contracts.