Re: [GHC] #13037: Single-Stepping evaluation in GHCi (was: educational purpose 2)