Ryan Ingram wrote: > Unfortunately, this makes things like >> infinite_xs <- sequence (repeat arbitrary) > no longer work, since the state never comes out the other side. You're asking to execute an infinite number of monadic actions. How can this ever terminate at all? Martijn.