Daan Leijen wrote:
> Ah, I read it too fast -- I assume that you also removed the strictness on
> the branches (instead of just the key), i.e. you changed:
> !k a !(Map k a) !(Map k a)"
> k a (Map k a) (Map k a)