Re: [GHC] #13036: educational purpose