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