A combinator for making any monadic control operator stack-safe - View it on GitHub