相关疑难解决方法(0)

我试图永远重复一个IO动作,但是将一个执行的结果输入到下一个.像这样的东西:

-- poorly named
iterateM :: Monad m => (a -> m a) -> a -> m b
iterateM f a = f a >>= iterateM f

Hoogle似乎并没有帮助我,但是我看到很多功能看起来非常接近我想要的功能,但似乎没有一个功能完全正确.