21 Nov
2005
21 Nov
'05
4:49 p.m.
On Mon, Nov 21, 2005 at 01:28:40PM -0800, Iavor Diatchki wrote:
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?
I guess not, because you can define: map' :: (Ord b) => (a -> b) -> Set a -> Set b map' f = fromList . map f . toList Did the more restrictive type bite you in practice? Best regards Tomasz