vector-space operations for finite maps using Data.Map