Typing to R-Ling

There are a lot of interesting initiatives happening in R-Ling, like Haskell and gleam. There's also the concurrent distributed R-Led which is actively being researched with session types,. It has kind of served as a cop-out throughout the years because nobody knows how to type processes. If we start on that, I don't think anything is going to happen. But if we think only about like the sequential, elixir, and sequential R- ling kind of thing, there's probably something that we can add just by taking care of that part.