Simpify constraints from a TH bracket eagerly
Simpify constraints from a TH bracket eagerly

See Trac #4949, where having a TH bracket implication
was messing things up.  Better to get rid of it right away.

AlexanderPankiv/ghc,TomMD/ghc,vTurbine/ghc,christiaanb/ghc,gridaphobe/ghc,mcschroeder/ghc,bitemyapp/ghc,siddhanathan/ghc,snoyberg/ghc,anton-dessiatov/ghc,acowley/ghc,ekmett/ghc,GaloisInc/halvm-ghc,sgillespie/ghc,ezyang/ghc,acowley/ghc,hferreiro/replay,hferreiro/replay,mettekou/ghc,shlevy/ghc,ezyang/ghc,mettekou/ghc,tibbe/ghc,gridaphobe/ghc,lukexi/ghc-7.8-arm64,gcampax/ghc,ml9951/ghc,sdiehl/ghc,bitemyapp/ghc,tjakway/ghcjvm,lukexi/ghc,TomMD/ghc,tibbe/ghc,urbanslug/ghc,urbanslug/ghc,shlevy/ghc,bitemyapp/ghc,lukexi/ghc-7.8-arm64,mfine/ghc,urbanslug/ghc,olsner/ghc,nkaretnikov/ghc,spacekitteh/smcghc,fmthoma/ghc,ghc-android/ghc,TomMD/ghc,christiaanb/ghc,tjakway/ghcjvm,christiaanb/ghc,nushio3/ghc,holzensp/ghc,mfine/ghc,fmthoma/ghc,green-haskell/ghc,mcschroeder/ghc,snoyberg/ghc,lukexi/ghc,elieux/ghc,ryantm/ghc,olsner/ghc,snoyberg/ghc,shlevy/ghc,nushio3/ghc,gcampax/ghc,anton-dessiatov/ghc,da-x/ghc,nathyong/microghc-ghc,sgillespie/ghc,ryantm/ghc,oldmanmike/ghc,sgillespie/ghc,ryantm/ghc,lukexi/ghc-7.8-arm64,forked-upstream-packages-for-ghcjs/ghc,ryantm/ghc,sdiehl/ghc,ezyang/ghc,christiaanb/ghc,da-x/ghc,da-x/ghc,oldmanmike/ghc,gridaphobe/ghc,nkaretnikov/ghc,gcampax/ghc,ghc-android/ghc,AlexanderPankiv/ghc,acowley/ghc,forked-upstream-packages-for-ghcjs/ghc,oldmanmike/ghc,mettekou/ghc,olsner/ghc,siddhanathan/ghc,da-x/ghc,fmthoma/ghc,acowley/ghc,mcschroeder/ghc,tjakway/ghcjvm,da-x/ghc,mfine/ghc,holzensp/ghc,ml9951/ghc,snoyberg/ghc,jstolarek/ghc,acowley/ghc,ghc-android/ghc,olsner/ghc,ml9951/ghc,nomeata/ghc,sgillespie/ghc,AlexanderPankiv/ghc,hferreiro/replay,forked-upstream-packages-for-ghcjs/ghc,vikraman/ghc,vikraman/ghc,nomeata/ghc,wxwxwwxxx/ghc,bitemyapp/ghc,mcmaniac/ghc,ml9951/ghc,olsner/ghc,nathyong/microghc-ghc,frantisekfarka/ghc-dsi,gridaphobe/ghc,elieux/ghc,AlexanderPankiv/ghc,GaloisInc/halvm-ghc,frantisekfarka/ghc-dsi,shlevy/ghc,elieux/ghc,urbanslug/ghc,spacekitteh/smcghc,forked-upstream-packages-for-ghcjs/ghc,mcmaniac/ghc,frantisekfarka/ghc-dsi,green-haskell/ghc,elieux/ghc,ml9951/ghc,urbanslug/ghc,ghc-android/ghc,vTurbine/ghc,snoyberg/ghc,ilyasergey/GHC-XAppFix,gridaphobe/ghc,nushio3/ghc,acowley/ghc,siddhanathan/ghc,ezyang/ghc,TomMD/ghc,urbanslug/ghc,sdiehl/ghc,mcmaniac/ghc,christiaanb/ghc,anton-dessiatov/ghc,wxwxwwxxx/ghc,ekmett/ghc,sdiehl/ghc,mfine/ghc,elieux/ghc,ml9951/ghc,AlexanderPankiv/ghc,nushio3/ghc,ml9951/ghc,vikraman/ghc,shlevy/ghc,vTurbine/ghc,nathyong/microghc-ghc,ghc-android/ghc,nkaretnikov/ghc,sgillespie/ghc,holzensp/ghc,christiaanb/ghc,ekmett/ghc,ezyang/ghc,fmthoma/ghc,anton-dessiatov/ghc,oldmanmike/ghc,sdiehl/ghc,tjakway/ghcjvm,da-x/ghc,spacekitteh/smcghc,nkaretnikov/ghc,lukexi/ghc-7.8-arm64,siddhanathan/ghc,vTurbine/ghc,fmthoma/ghc,shlevy/ghc,elieux/ghc,ryantm/ghc,olsner/ghc,TomMD/ghc,urbanslug/ghc,christiaanb/ghc,forked-upstream-packages-for-ghcjs/ghc,tjakway/ghcjvm,siddhanathan/ghc,mcmaniac/ghc,forked-upstream-packages-for-ghcjs/ghc,tjakway/ghcjvm,oldmanmike/ghc,sgillespie/ghc,sdiehl/ghc,ilyasergey/GHC-XAppFix,AlexanderPankiv/ghc,sdiehl/ghc,GaloisInc/halvm-ghc,gcampax/ghc,mcschroeder/ghc,frantisekfarka/ghc-dsi,anton-dessiatov/ghc,ghc-android/ghc,vikraman/ghc,spacekitteh/smcghc,mfine/ghc,mettekou/ghc,ilyasergey/GHC-XAppFix,mettekou/ghc,wxwxwwxxx/ghc,nkaretnikov/ghc,bitemyapp/ghc,lukexi/ghc,nomeata/ghc,tjakway/ghcjvm,ilyasergey/GHC-XAppFix,oldmanmike/ghc,green-haskell/ghc,GaloisInc/halvm-ghc,vTurbine/ghc,anton-dessiatov/ghc,tibbe/ghc,acowley/ghc,frantisekfarka/ghc-dsi,mfine/ghc,da-x/ghc,mcschroeder/ghc,holzensp/ghc,vTurbine/ghc,hferreiro/replay,siddhanathan/ghc,ghc-android/ghc,GaloisInc/halvm-ghc,mettekou/ghc,siddhanathan/ghc,nathyong/microghc-ghc,TomMD/ghc,TomMD/ghc,lukexi/ghc,ml9951/ghc,elieux/ghc,jstolarek/ghc,jstolarek/ghc,spacekitteh/smcghc,mcschroeder/ghc,gridaphobe/ghc,vTurbine/ghc,lukexi/ghc,anton-dessiatov/ghc,GaloisInc/halvm-ghc,vikraman/ghc,ekmett/ghc,shlevy/ghc,hferreiro/replay,mettekou/ghc,green-haskell/ghc,lukexi/ghc-7.8-arm64,mfine/ghc,tibbe/ghc,gcampax/ghc,vikraman/ghc,forked-upstream-packages-for-ghcjs/ghc,mcmaniac/ghc,wxwxwwxxx/ghc,holzensp/ghc,gcampax/ghc,nathyong/microghc-ghc,hferreiro/replay,wxwxwwxxx/ghc,nkaretnikov/ghc,AlexanderPankiv/ghc,nushio3/ghc,fmthoma/ghc,fmthoma/ghc,hferreiro/replay,gridaphobe/ghc,nathyong/microghc-ghc,jstolarek/ghc,nomeata/ghc,olsner/ghc,wxwxwwxxx/ghc,nomeata/ghc,sgillespie/ghc,nathyong/microghc-ghc,wxwxwwxxx/ghc,green-haskell/ghc,ekmett/ghc,ezyang/ghc,oldmanmike/ghc,mcschroeder/ghc,nushio3/ghc,vikraman/ghc,gcampax/ghc,ezyang/ghc,snoyberg/ghc,jstolarek/ghc,nkaretnikov/ghc,nushio3/ghc,tibbe/ghc,snoyberg/ghc,GaloisInc/halvm-ghc