Oh, I didn't look much at the yield-based stuff -- I think it looks worse than the lambdas, since it depends on magic exceptions and can't be used to write proc

Oh, I didn't look much at the yield-based stuff -- I think it looks worse than the lambdas, since it depends on magic exceptions and can't be used to write procedures which work for any monad. If it doesn't work, I'm not surprised.