module Mod127_A where

class T a where m1 :: a -> a

data T1 = T