Use ghc 7.8