Use Data.Map to be compatible with ghc 7.4