Re: [GHC] #10225: GHC does not specialize based on type equality