なるほど。Optionalのサブタイピング、全般的に使えるのかと思ってました。