Pragmatic effect composition and validation for Rust
github.com