Perhaps it should be integrated with proposed Malcolm's scheme of structured module hierarchy. It's not obvious how ghc's packages fit into this idea.

I'm not sure either, but we haven't seen the proposal yet :) Simon