support GHC 7.4