module Mod145_A where

class C2 a where
  m1 :: (a,a) -> Int