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#commit... 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