Another variant is "law of excluded middle" continuations. It gives you a function, but when you call that then it will go back and give you the value passed in

Another variant is "law of excluded middle" continuations. It gives you a function, but when you call that then it will go back and give you the value passed instead. You can implement this in terms of call/cc and vice-versa.