ghc-7.7 compatibility