module Mod122_A (m1) where

class C a where m1 :: a -> a