The effects system gives us really fine-grained control over what that shell touches. We can make guarantees about what parts of the shell perform which side effects, like signing commits or minting tokens. It's all checked by the compiler and visible in the program's types.
