Re: [ghc-steering-committee] #380 GHC2021: How to proceed?