Re: Ambiguous types

21 Jan 2002


      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