Yes, Matthias and I discussed this in the context of Typed Racket vs
Typed JavaScript some months ago. TJS doesn't have to worry about
this because of the single-threaded nature of the language. It seems
to me this is a non-trivial problem for TR.
Shriram