Re: [GHC] #10121: operational semantics is incomplete?