Hi,<br><br>I found myself writing the following<br><br>leastFixedPoint :: (Eq a) =&gt; (a -&gt; a) -&gt; a -&gt; a<br>leastFixedPoint f x = fst . head . dropWhile (uncurry (/=)) $ zip l (tail l)<br>    where l = iterate f x<br>
<br>and was a bit surprised that I couldn&#39;t get any matches on hoogle for the type above. The closest one is fix :: (a -&gt; a) -&gt; a but that sort of assumes that we&#39;re starting the fixed point search from the bottom element (undefined).<br>
<br>Anyway, is there a nicer way of doing the above?<br><br>Jens<br><br>