Re: [GHC] #12988: Join points