fixfinder :: (Eq a) => (a -> a) -> a -> a fixfinder f arg = let val = f arg in if val == arg then arg else (fixfinder f val) {- *Main> fixfinder sqrt 68 1.0 -}