Re: [GHC] #8774: Transitivity of Auto-Specialization