compat. ghc-7.6.