monad-ste (hackage): STE is a sibling to the ST monad that provides more efficient abortive errors than a standard EitherT or ExceptT monad stack.
Keywords: bsd2|control|library