23 May
2008
23 May
'08
1:34 p.m.
On Fri, May 23, 2008 at 10:55 AM, Jules Bean
Krasimir Angelov wrote:
The monads design is used in Data.Map i.e.
lookup :: (Monad m, Ord k) => k -> Map k a -> m a
which is widely considered a poor design decision and a wart on Data.Map.
It is? Can you point to somewhere explaining that? I rather liked that idiom. Luke