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

class A a where
 op1 :: a -> a

instance A (a,(b,c)) where
 op1 a = a