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)" > > to > > k a (Map k a) (Map k a) > > Right? Yes, right.