module A where import C a = b