Re: [GHC] #13397: Optimise calls to tagToEnum#