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