21 Nov
2005
21 Nov
'05
4:28 p.m.
Hello, I just noticed that the type of Data.Set.map is (Ord a, Ord b) => (a -> b) -> Set a -> Set b Is the 'Ord a' constraint really neccessary? It did not use to be there in the old implementation. -Iavor