It doesn't take very much effort to implement a back-tracking algorithm, it's exposing it as a monad that takes the time. If you don't need the benefits that ge

It doesn't take very much effort to implement a back-tracking algorithm, it's exposing it as a monad that takes the time. If you don't need the benefits that gets you, you don't have to do the work either. And, of course, it's wrapped up in a library anyway, so a lot of the time you won't care.