Extending Rust's Effect System