Fix ghc<=7.6