&gt; This type can be used in classes and interfaces to represent some type that is a subtype of the containing type (rather than the containing type itself)<p>Could that not be achieved by having covariant return types instead?