control-monad-loop (hackage): Simple monad transformer for imperative-style loops
Keywords: bsd3|control|library