George Russell ([EMAIL PROTECTED]) wrote:
: > data Human = Woman | Man
: Hmm maybe. But then are you going to make succ Woman = Man or succ Man = Woman??
I think it has to respect the implicit order which
is defined by toEnum and fromEnum. But I may be wrong.
: It seems to me that in any case you are going to upset people.
By defining successor or predecessor?
: Humans are a special case because there are only two ways of ordering the
: sexes, and both are controversial. If we have
: data Colour = Red | Blue | Yellow
: and want to make Colour an instance of Enum, then to consistently define [..]
: you need to make arbitrary choices. If you're going to arbitrarily choose an
: enumeration it doesn't seem unreasonable to me to arbitrarily choose an ordering
: as well.
I have to think about that.
Regards,
Marc