私なら型チェックは徹底して行いますね。

冗長性というのは、is の後に as でキャストする事では？