Multiple instances of a single effect

[forell]

One of the strengths of lexical effect handlers is that multiple instances of an effect can easily coexist, with no risk of accidental capture. It would be nice if there was an example in the Effect Handlers chapter showcasing this fact.