class ClassA a

class ClassA a => ClassB a

instance ClassB Int