A thread-safe type whose values can be shared across arbitrary concurrent contexts without introducing a risk of data races.