The uniqueness erequirementrs are actually looser because the Elm DOM diff only does, I believe, a one element look ahead which means that they really only need to be “locally” unique.
The impacts of this implementation are that:
• Keys, if unique, are sufficient to prevent reuse because a key mismatch will `prevent reuse.
• If the total number of DOM structure changes between animation frames is small enough then keys can help encourage reuse by helping the DOM diff algorithm find correspondences between frames but this only works to the extent that the changes involve isolated single element insertions or deletions.
Mark