:: f (Maybe a) -> f a package:monad-loops

Run the supplied Maybe computation repeatedly until it returns a value. Returns that value.