Support ghc 7.8