Covariant

types are distinct

types are covariant

arguments match as far as overloading goes, but types are not covariant

cannot determine covariance because of forward references