only ghc 7.6