@joneshf suggests in #361 (comment) the following (old syntax?)
class Eq a where
(==) :: a -> a -> Boolean
(/=) :: a -> a -> Boolean
instance Eq a where
(==) x y = not (x /= y)
(/=) x y = not (x == y)As an alternative I would like to propose
class Eq a where
eq :: a -> a -> Boolean
eq x y = not (notEq x y)
notEq :: a -> a -> Boolean
notEq x y = not (eq x y)
@joneshf suggests in #361 (comment) the following (old syntax?)
As an alternative I would like to propose