Re: [ghc-steering-committee] #380 GHC2021: Structured summary