Re: [Haskell-cafe] Justification for Ord inheriting from Eq?