DData

[Daan Leijen]

>> When I omitted the "!" in " !k a !(Map k a) !(Map k a)"
>>
>> time was faster but page faults increased:
>>
>> Map-only:   7.37    29767
>
> You should measure this version, because it is closer to what FiniteMap
> does (plus there seems to be no good reason to force strictness on the
> elements in a general purpose Map type).

I agree with this. Note however that this forced strictness on the *key*
not the element. It is ok to force strictness on the key as they are
evaluated anyway -- and that is why I am surprised to see a speedup :-)

All the best,
  Daan.