[ghc-steering-committee] Please review #705: Refine Explicit Level Imports specification for exports

[Adam Gundry]

Dear Committee,

Matthew Pickering proposes to refine the specification for Explicit 
Level Imports (#682) to clarify the behaviour of module exports:

https://github.com/ghc-proposals/ghc-proposals/pull/705

I'd like to nominate Arnaud as the shepherd, since he shepherded the 
original proposal. Please guide us to a conclusion as outlined in
https://github.com/ghc-proposals/ghc-proposals/blob/master/README.rst#committee-process-for-responding-to-a-proposal

If possible it would be good to get a quick decision on this so the 
implementation can be sorted for 9.14.

Cheers,

Adam


-- 
Adam Gundry, Haskell Consultant
Well-Typed LLP, https://www.well-typed.com/

Registered in England & Wales, OC335890
27 Old Gloucester Street, London WC1N 3AX, England