path: root/testsuite/tests/typecheck/should_fail/tcfail023.hs

module ShouldFail where

-- !!! Duplicate instances

data B = C

class A a where
 op :: a -> Bool

instance A B where
 op C = True

instance A B where
 op C = True