not needed for ghc-7.0.x