úξ[ experimentalboriss@gmail.comNone7StatePlusT behaves similar to StateT monad transformer CEvaluate StatePlusT monad. In difference from runStateT it returns  Nothing if mzero has been encountered. Just a otherwise. 3Execute StatePlusT monad returning resulting state ?Evaluate StatePlusT monad returning resulting value. See above  for the semantics.  state-plus-0.1Control.Monad.Trans.State.Plus StatePlusT runStatePlusTexecStatePlusTevalStatePlusT$fMonadPlusStatePlusT$fMonadStatesStatePlusT$fMonadStatePlusT