Note that parameters can be captured in one thread and reinstated in another one, so an implicit thread-local semantics will get quite complicated, I think.