Proposal: Further performance improvements of Data.Map