Removed unnecessary `Ord' constraint on map- functions

Map- functions in the Data.Map module only require an `Ord` constraint on the result.
This holds at least since version 0.5, so no changes to package dependencies should be needed.