<div dir="ltr">I have a function f :: a -> Maybe a that I want to feed into itself with some initial input until it returns Nothing.<div><div><br><div>untilNothing :: (a -> Maybe a) -> a -> a<br></div><div>untilNothing f x = case f x of</div></div></div><div>                            Just x' -> untilNothing f x'</div><div>                            Nothing -> x</div><div><br></div><div>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?</div></div>