Re: [ghc-steering-committee] GHC20xx review; GHC2022 yes or no?