Feature Request : Qualified module exports

I quite like the practice of using -XNoImplicitPrelude and then defining my own (often per-project) Prelude doing things like:

module MyProject.Prelude
    ( module P
    )
import Data.Text as P (Text)
import Prelude as P hiding (head, init, tail, last)

As an extension to the above idea, I would like to add qualified module exports defined so that I can do this:

module MyProject.Prelude
    ( module P
    , qualified module T
    )
import Data.Text as P (Text)
import Prelude as P hiding (head, init, tail, last)
import qualified Data.Text as T

so that any file which imports MyProject.Prelude will then have all the identifiers that they would normally get if they did:

import qualified Data.Text as T

Is this something that would have to go through the Haskell Next procedure? If so, how does one get that kicked off?

Trac metadata

Trac field	Value
Version	7.7
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture