monad-lgbt (hackage): Monad transformers for combining local and global state with backtracking/backjumping/continuations
Keywords: bsd2|control|library