These are capable of among other things, Prolog style nondeterministic choice and backtracking.

A more in depth introduction is here: https://www.eff-lang.org/handlers-tutorial.pdf (not really for 'the rest of us' - I struggled to understand this one, but found it interesting).