This paper provides a fully abstract trace semantics for a typed call-by-value λ-calculus with algebraic effects and handlers. This language is equipped with dynamic allocation of effect instances, which are first-class values and can be exchanged. Our trace model is built using an operational presentation of game semantics, where traces represents the interaction between the program and any environment.