[Haskell-cafe] There can be only one fix? Pondering Bekic's lemma

Henning Thielemann lemming at henning-thielemann.de
Mon Mar 19 11:58:09 EDT 2007


On Sat, 17 Mar 2007, Nicolas Frisby wrote:

> Bekic's lemma [1], allows us to transform nested fixed points into a
> single fixed point, such as:
>
> fix (\x -> fix (\y -> f (x, y))) = fix f     where f :: (a, a) -> a

The 'fix' on the right hand side is not the standard one (e.g.
Control.Monad.Fix), is it?


More information about the Haskell-Cafe mailing list