共変性はまあいいんじゃないですか？
Optional<Cat> が Optional<Animal> のサブタイプでも、 Int が Int? のサブタイプでなければ Optional<Int> は Optional<Int?> のサブタイプにならないですし。