この2つは同じ問題の具象で、なので個人的には共変性はウソなのでは?という疑念を持っている