Compatibility for GHC 7.8-rc1