Being a sucker for punishment, I have done this: https://github.com/goldfirere/ghc-proposals/blob/namespaces/proposals/0000-namespaces.rst

Richard

On Mar 13, 2019, at 12:26 PM, Joachim Breitner <mail@joachim-breitner.de> wrote:

The more important question is: Who wants to do that “grand unifying
ExplicitNamespaces proposal”?