module C where import A import B x = A (B x)