[GHC] #13036: educational purpose