Re: [PATCH] Split Data.IntMap into Data.IntMap.Strict and Data.IntMap.Lazy.

3 Oct 2011

      ...
On Sun, Oct 2, 2011 at 1:47 PM, Milan Straka  wrote:
...
We got opinions only from the proponent and both maintainers.
I interpret the silence as the community being happy with the change.
Me too. Did we settle the issue of having both .Strict and .Lazy. I think we
should.
Sorry, I wrote only to Edward yesterday.

I agree with both .Strict and .Lazy.

Cheers,
Milan