Re: [GHC] #3767: SpecConstr for join points