Isn't the argument type co- not contra-variant?

Question

I understand the terms co-variance and contra-variance. But there is one small thing I am unable to understand. In the course \"Functional Programming in Scala\" on coursera

Answer 1

Converting Dog to Animal is converting narrow to wider, so it's not covariance.