Allow ghc=<7.9