> It sounds like a limit. xn --> x for n -->  :-)

Yeah, that's right.

> How can I get that maximal value when I start from a non maximal one ?

Not a problem. For example, "const 1" maps each value (even (_|_)) to the 
maximal value "1".

> [1 .. ] and x=1:x are maximal ?

Yes.
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to