as明示で型が書き換わるなら、それはもう暗黙の変換してはいけないというのが

10:56 AM

自論なわけで、これに基づくとOptional, Arrayの共変性なんかは特に。

10:56 AM

明示でのみ書き換わるのは正義