On Jun 30, 2005, at 4:28 PM, David A. Herman wrote: >> I don't understand your problem. _|_ can be a largest fp. -- Matthias > > What about this? > > n :: Integer > n = n > > Any integer is a valid solution, but no integer dominates any other, so > there's no greatest fp. > > Dave This doesn't involve streams so use lfp instead. _|_