Youtubeなのでアーカイブもされます、最初のグダグダも残っちゃうけど開始時間は書いておきます。

11:05 AM

Optionalのサブタイピングは整合性が…取れないんだ…!

2