Control.Monad.LogicState.Class

class MonadLogicState s m