[ghc-hetmet.git] / ghc / tests / typecheck / should_compile / M.hi

interface M where
class (ORD a, Text a) => EQ a where (===) :: a -> a -> Bool
class (Num a) => ORD a
data NUM = ONE | TWO