path: root/ghc/compiler/tests/typecheck/should_fail/tcfail056.hs

data Foo = MkFoo Bool

instance Eq Foo where
    (MkFoo x) == (MkFoo y) = x == y

instance Eq Foo where
    -- forgot to type "Ord" above
    (MkFoo x) <= (MkFoo y) = x <= y