this is a really nice looking language! the central focus on using effects to get zero cost abstractions is a very attractive one; I really hope the language makes it out of the experimental toy compiler stage.