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

Reply via email to