[Haskell-cafe] Re: exceptions vs. Either

[MR K P SCHUPKE]

>class HLe n n' 
>instance HLe HZero HZero
>instance HLe x y => HLe (HSucc x) (HSucc y)

Erm of course this was the definition for Equals, not less than or
equals!

class HLe n n' 
instance HLe HZero x
instance HLe x y => HLe (HSucc x) (HSucc y)

Is the definition for less than or equals... but it took me all of
5 seconds to realise the first definition I gave was wrong - because
it is so simple...

	Keean.