@yosh Out of interest, have you spent much time in the #lang-dev channel of the Rust Community Discord? There are a lot of folks there working on Rust-like languages, many of them with surprisingly powerful effect systems, that have already done a lot of thinking about this sort of thing (both syntax & semantics). It might be a useful place to gather some ideas from.