Swift の Optional は tagged union だから本来 T と T? には型の派生関係はないはずなんよね。