Re: [GHC] #14242: Ticks and join points don't play well