rfc:covariant-returns-and-contravariant-parameters