>>351
それは分かったけど、
IO aを返すにしても、IO (IO a)を返すにしても、IOであることには変わりない。
型を見る限りでは「Generatorを返す関数」である可能性はぜんぜん否定できてない。

型レベルでは
「普通の関数が、呼ばれるたびに別のものを返す」可能性を否定できないの？