logicst (hackage): Backtracking mutable references in the ST and IO monads
Keywords: bsd3|control|library