Re: let succ be an Enum class member

[Jon . Fairbairn]

On 12 May, Jeffrey R. Lewis wrote:
> I agree, in fact, I'd go one stronger.  I'll propose that `fromEnum' and
> `toEnum' be taken out, since clearly not all enumerable types are
> subtypes of Int (as you point out, Integer leaps immediately to mind).

An alternative would be to return fromEnum and toEnum to their
overloaded types:

    toEnum           :: Integral i => i -> a
    fromEnum         :: Integral i => a -> i

would that suit?

-- 
Jon Fairbairn                                 [EMAIL PROTECTED]