その点、値型はこのあたりのわずらわしさから解放されてるよね。まずサブタイプないし。

5:26 AM

Swift は Optional でサブタイプもちこんじゃったけど。