Avoid a name clash with GHC 7.6
Avoid a name clash with GHC 7.6

wolftune/hoogle,wolftune/hoogle,BartAdv/hoogle,ndmitchell/hoogle,ndmitchell/hoogle,wolftune/hoogle,BartAdv/hoogle,BartAdv/hoogle,ndmitchell/hoogle,BartAdv/hoogle,wolftune/hoogle