[ghc-steering-committee] #380 GHC2021: StarIsType