Allow ghc-7.8