Dear Committee, Matthew Pickering, Rodrigo Mesquita and I propose to introduce Explicit Level Imports as a mechanism for TH code to be more precise about its dependencies: https://github.com/ghc-proposals/ghc-proposals/pull/682 https://github.com/well-typed/ghc-proposals/blob/wip/level-imports-2024/prop... I'd like to nominate Arnaud Spiwack as the shepherd. Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process 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