> 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