building with Data.Map in place of Basics.FiniteMap