共変は必要?

交換可能性がどうのこうのだし、メソッドのオーバーロードが面倒になってるし、本当に必要なのかなぁ。ソースを分かり易くする為ってのは分かるけど。
特殊化したテンプレートクラスの継承か、assertによる型チェックでの共変だけで十分な気がするんだけど。