Refer to the coercible paper in Coercible' docs
Refer to the coercible paper in Coercible' docs

Implements parts of #8888.

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