Re: [GHC] #15110: Exitification abstracts over shadowed variables