(I guess I'd just like some of the things we've learned from functional type systems, such as pattern matching, which I don't see up front.)
For example Crystal is removing explicit Threads and switching to Channels as the main concurrency model.