[Haskell-cafe] Feeding a monad into itself

[Jake]

I have a function f :: a -> Maybe a that I want to feed into itself with
some initial input until it returns Nothing.

untilNothing :: (a -> Maybe a) -> a -> a
untilNothing f x = case f x of
                            Just x' -> untilNothing f x'
                            Nothing -> x

Is there a better way to do this? I feel like there is something more
general going on with Monads being fed into themselves, but maybe I'm
wrong. Thoughts?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20170720/16e2bd3a/attachment.html>