Fix ghc-7.8