module Mod121_A(C(m1)) where

class C a where
  m1 :: a -> Int
  m2 :: a -> Bool