そうなんですよねぇ・・・

4:33 AM

Swift の Optional は Tagged Union なんだから本来サブタイプじゃないはずなんですけど、サブタイプ的にに振る舞わせることで、 Untagged Union で作られた Optional みたいになっちゃってるんですよね。