Monads improved

Adding callcc / raise (throw)