On Jun 30, 2005, at 6:10 PM, Paul A. Steckler wrote: >>> 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. _|_ > > What's the least integer? Bottom. See above.