Why aren't modules prefixed their package name?

superstar64:

If package A, depends on B and B depends on C, should A be allowed to import C’s modules without directly depending on C[?] I’m inclined to say yes because B’s types may not make sense without C’s types.

If that is the case, I expect library B to re-export what is needed from C, although it has its drawbacks.