On Tuesday, December 24, 2013, Clark Gaebel wrote:

forever :: Monad m => m a -> m b
forever a = a >> forever a

Thanks for your response. This is actually how I would have implemented it.

What is confusing to me is the recursion on the let construct.

What is not clear to me is when we can "get away" with doing that kind of thing. I mentioned the "tying the knot article" because it, too, uses recursion on a let construct.

Eduardo Sato