[Haskell-cafe] Re: exceptions vs. Either

MR K P SCHUPKE k.schupke at imperial.ac.uk
Fri Aug 6 09:08:59 EDT 2004

>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

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...


More information about the Haskell-Cafe mailing list