`addToUFM` is lazy, `addToUDFM` is strict. Why?
It completely eludes me why one map is strict while the other is lazy. We should at least document that fact, or perhaps use strict maps throughout.
To add to the confusion, unitUDFM
is lazy. And all functions seem to allocate thunks for TaggedVal v i
, because v
is not necessarily evaluated.