This is a very interesting project, thanks. I'd love to see how you solve the problem of typed message passing in the language itself.
https://github.com/gleam-experiments/otp_agent https://github.com/gleam-experiments/otp_process
They could be improved but they are good enough for us to get started with.