HashMap: Compatibility with GHC >= 7.7