25 Mar
2007
25 Mar
'07
9:01 p.m.
G'day all.
Quoting Jason Creighton
Data.Map is a Functor: [...] ...but perhaps it's not a Functor in some earlier version of the library?
Possibly, if by "earlier version" you mean FiniteMap. At any rate, since Map is a Functor, I vote for Data.Map.map to be deleted. Any disagreements before I submit the ticket? Cheers, Andrew Bromage