Dear all, Matthew and team propose a very short revision of their accepted proposal for explicit level imports (this proposal, if you don't remember, is about being more precise, when importing modules, whether they need to be available to emit code, or also for Template Haskell, for better recompilation avoidance and cross-compilation support). I say revision, but really, this simply specifies some corner cases which, admittedly, were ambiguous with the original wording of the proposal. There's nothing controversial about it. We should accept very quickly. I'll be on holiday the next couple of weeks, so I won't be able to act on this for a while. I don't think it's worth waiting two weeks though. So Adam, unless someone complains, probably accept it at the end of next week. Best, Arnaud -- Arnaud Spiwack Director, Research at https://moduscreate.com and https://tweag.io.