Add comments about the {-# INCOHERENT #-} for Typeable (f a)
Add comments about the {-# INCOHERENT #-} for Typeable (f a)

C.f. Trac #9242

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