弱参照というのは解放されてるとnilになるけど内部的には開放された領域を指すアドレスを持っているので。

4:16 PM

型理論的には fatal = Never だから 2 + 0 でやっぱり 2状態Eitherとisomorphicなのかな。おもしろいね。

1