module E where import D -- get the RULE from C via D import A import B z = f (g 3)