Try to fix for ghc < 7.8