module C where import B a = A