9.2. 制御構造（Control Structures）

通常、 IO で書かれたプログラムは 他のモナドで書かれたものと同じ制御構造 を使用します。特定の IO 補助関数が1つ存在します。

IO.iterate {α β : Type} (a : α)
    (f : α → IO (α ⊕ β)) : IO β