-- まだ DecidingHeader 以前の状態だったら、この途中終了
-- を應答に反映させる餘地がある。さうでなければ stderr
-- にでも吐くしか無い。
- state ← atomically $ readItr itrState id itr
- reqM ← atomically $ readItr itrRequest id itr
- res ← atomically $ readItr itrResponse id itr
+ state ← atomically $ readItr itrState itr
+ reqM ← atomically $ readItr itrRequest itr
+ res ← atomically $ readItr itrResponse itr
if state ≤ DecidingHeader then
flip runRes itr
$ do setStatus $ aboStatus abo