monad-lgbt

Monad transformers for combining local and global state with backtracking/backjumping/continuations