id:MaD:20070820で書いたmapAの問題点ですが、ArrowLoopはそれを解決してくれるものではありませんでした。IOモナドやMonadFixについて勉強不足なので、これらについてしっかりと理解出来てはいないです。 問題が起こるのは、IOモナドとかStateモナドとか副…

Data.Traversable Data.Foldable Data.Sequence Control.Applicative Control.Monad.Instances Data.Monoid (Applicative内で使っている) 例えば import Control.Applicative import Data.Traversable main = for [1..10] (\i -> print $ "hoge" ++ show i) …