module C where import B import A hiding (MkTA(..)) x = MkTA y = MkTB z = f