RE: Proposed addition to Data.FiniteMap