A monad transformer for handling backtrack in continuation based programs - View it on GitHub