Sounds cool. The types like Haskell’s data types or Rust’s enums compared with proper pattern matching are pretty much a requirement for a good language imo. And the process/message passing is interesting.