And through those restrictions, like only allowing Send types to be passed between threads, you can even gain features over more permissive languages, i.e. data

And through those restrictions, like only allowing Send types to be passed between threads, you can even gain features over more permissive languages, i.e. datarace free code.