[Well-Typed Blog] GHC activities report: August–September 2023