Comments only
Comments only

Rewording in
  Note [Decomposing equality]
  Note [Decomposing newtypes at representational role]

Richard you may want to check, but I think it's fine.

sdiehl/ghc,GaloisInc/halvm-ghc,siddhanathan/ghc,urbanslug/ghc,tjakway/ghcjvm,ghc-android/ghc,tjakway/ghcjvm,gridaphobe/ghc,olsner/ghc,anton-dessiatov/ghc,acowley/ghc,siddhanathan/ghc,GaloisInc/halvm-ghc,mfine/ghc,anton-dessiatov/ghc,ezyang/ghc,ml9951/ghc,da-x/ghc,mcschroeder/ghc,ezyang/ghc,nushio3/ghc,wxwxwwxxx/ghc,ezyang/ghc,urbanslug/ghc,gridaphobe/ghc,nkaretnikov/ghc,sdiehl/ghc,ghc-android/ghc,nushio3/ghc,olsner/ghc,sgillespie/ghc,siddhanathan/ghc,GaloisInc/halvm-ghc,nkaretnikov/ghc,TomMD/ghc,mcschroeder/ghc,GaloisInc/halvm-ghc,AlexanderPankiv/ghc,TomMD/ghc,da-x/ghc,shlevy/ghc,elieux/ghc,nkaretnikov/ghc,sdiehl/ghc,ml9951/ghc,GaloisInc/halvm-ghc,wxwxwwxxx/ghc,nushio3/ghc,ml9951/ghc,mfine/ghc,acowley/ghc,acowley/ghc,mfine/ghc,AlexanderPankiv/ghc,sgillespie/ghc,tjakway/ghcjvm,vTurbine/ghc,sdiehl/ghc,oldmanmike/ghc,ezyang/ghc,nushio3/ghc,nkaretnikov/ghc,urbanslug/ghc,anton-dessiatov/ghc,wxwxwwxxx/ghc,mettekou/ghc,ghc-android/ghc,mfine/ghc,vTurbine/ghc,mcschroeder/ghc,sgillespie/ghc,sgillespie/ghc,oldmanmike/ghc,GaloisInc/halvm-ghc,snoyberg/ghc,ml9951/ghc,elieux/ghc,anton-dessiatov/ghc,vikraman/ghc,gridaphobe/ghc,sdiehl/ghc,sgillespie/ghc,snoyberg/ghc,ghc-android/ghc,TomMD/ghc,vikraman/ghc,snoyberg/ghc,siddhanathan/ghc,oldmanmike/ghc,anton-dessiatov/ghc,mettekou/ghc,urbanslug/ghc,olsner/ghc,olsner/ghc,da-x/ghc,ghc-android/ghc,siddhanathan/ghc,gridaphobe/ghc,snoyberg/ghc,elieux/ghc,tjakway/ghcjvm,mfine/ghc,shlevy/ghc,sdiehl/ghc,vTurbine/ghc,mettekou/ghc,shlevy/ghc,acowley/ghc,mcschroeder/ghc,da-x/ghc,TomMD/ghc,anton-dessiatov/ghc,ml9951/ghc,da-x/ghc,wxwxwwxxx/ghc,mcschroeder/ghc,urbanslug/ghc,wxwxwwxxx/ghc,ml9951/ghc,olsner/ghc,TomMD/ghc,shlevy/ghc,vTurbine/ghc,shlevy/ghc,elieux/ghc,siddhanathan/ghc,GaloisInc/halvm-ghc,elieux/ghc,snoyberg/ghc,AlexanderPankiv/ghc,vikraman/ghc,AlexanderPankiv/ghc,nkaretnikov/ghc,snoyberg/ghc,mettekou/ghc,da-x/ghc,ghc-android/ghc,oldmanmike/ghc,urbanslug/ghc,AlexanderPankiv/ghc,oldmanmike/ghc,vTurbine/ghc,ezyang/ghc,mfine/ghc,TomMD/ghc,vikraman/ghc,elieux/ghc,vikraman/ghc,TomMD/ghc,ml9951/ghc,urbanslug/ghc,tjakway/ghcjvm,mettekou/ghc,olsner/ghc,mcschroeder/ghc,acowley/ghc,wxwxwwxxx/ghc,AlexanderPankiv/ghc,oldmanmike/ghc,mettekou/ghc,mfine/ghc,sgillespie/ghc,ghc-android/ghc,vikraman/ghc,vTurbine/ghc,gridaphobe/ghc,acowley/ghc,da-x/ghc,tjakway/ghcjvm,ml9951/ghc,sgillespie/ghc,siddhanathan/ghc,nushio3/ghc,wxwxwwxxx/ghc,nkaretnikov/ghc,mcschroeder/ghc,shlevy/ghc,nkaretnikov/ghc,snoyberg/ghc,ezyang/ghc,ezyang/ghc,mettekou/ghc,sdiehl/ghc,nushio3/ghc,tjakway/ghcjvm,nushio3/ghc,AlexanderPankiv/ghc,gridaphobe/ghc,vikraman/ghc,oldmanmike/ghc,elieux/ghc,olsner/ghc,acowley/ghc,vTurbine/ghc,anton-dessiatov/ghc,shlevy/ghc,gridaphobe/ghc