[ghc-hetmet.git] / ghc / tests / typecheck / should_compile / tc039.hs

module ShouldSucc where

class (Eq a) => A a where
 op1 :: a -> a