[ghc-hetmet.git] / ghc / compiler / tests / typecheck / should_succeed / tc036.hs

module ShouldSucceed where

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