Need tagged for ghc < 7.8.