ghc-7.8.2 compatibility