>>263-269
通常の意味では副作用じゃないけど、
型に⊥を加えるのは全域関数の圏のモナドだよ。