> And for other constructor kind, like say, Pair, List ...
> "deriving" does not seem to make much sense.
> Because there exist too many equally good ways to `enum' these
> types. Hence, it is better to leave this for the possible separate
> user Enum declaration.
Ah, but the same is true for Ord and yet Ord instances may be derived
automatically. Deriving should do something that is clearly sensible;
it doesn't have to be the only thing possible. I think the
lexicographic ordering is clearly sensible.
--KW 8-)
--
: Keith Wansbrough, MSc, BSc(Hons) (Auckland) ------------------------:
: PhD Student, Computer Laboratory, University of Cambridge, England. :
: (and recently of the University of Glasgow, Scotland. [><] ) :
: Native of Antipodean Auckland, New Zealand: 174d47' E, 36d55' S. :
: http://www.cl.cam.ac.uk/users/kw217/ mailto:[EMAIL PROTECTED] :
:---------------------------------------------------------------------:
