A smart A* search monad transformer which supports backtracking user-state! - View it on GitHub