monad-ste

STE is a sibling to the ST monad that provides more efficient abortive errors than a standard EitherT or ExceptT monad stack.