Re: Enum instance for Ratio

[Marc van Dongen]

George Russell ([EMAIL PROTECTED]) wrote:

: A logical definition of Enum (to me wearing a mathematical hat) 
: would be
: 
: succ x = min { y | y > x}
: 

Wouldn't that make Enum depend on Ord?
Doesn't seem to make sense if classes are
enumerable but not comparable.


Regards,


Marc