RE: Data.IntMap API