[Haskell-cafe] least fixed points above something

[Martijn van Steenbergen]

Luke Palmer wrote:
> Well, it's probably not what you're looking for, but to remain true to 
> the domain-theoretical roots of "fix", the "least fixed point above" can 
> be implemented as:
> 
> fixAbove f x = fix f `lub` x

How can this be right if f is never applied to x? Or maybe you're trying 
to do something other than I think you are, in which case: sorry for the 
confusion. :-)

Martijn.