Re: [GHC] #13222: Update formalism for join points