/public/post/simple-fair-and-terminating-backtracking-monad-transformer/