28 Nov
2005
28 Nov
'05
5:32 p.m.
Hello, Data.IntMap (distributed with GHC 6.4.1) contains the following instance: Ord a => Monoid (IntMap a) The instance is defined with mempty = empty, and mappend = union, neither of which requires the Ord instances on the values in the map, so the 'Ord a' constraint appears unneccessary. -Iavor PS: Isn't picking union for the monoid class a little arbitrary?