>>840
はい。 f,g はトップレベルではなくIOアクションの中で定義しても大丈夫です。

IORefを使わなきゃ無理かな、と思ってたんだけど、これは目から鱗でした。
cached = pure
でいいんだよね？単にモナド一枚かぶせるだけで計算のキャッシュになるなんて、
今年一番のオドロキですわ