Control.Monad.LogicState.Examples