At 2002-01-21 02:19, Janis Voigtlaender wrote:

The problem is that for some instance A1 of Ord, l might be an empty list, whereas for some other instance A2 of Ord, l might be nonempty.

Right. I understand now. -- Ashley Yakeley, Seattle WA