Domain-specific refined types for the Rust and Stillwater ecosystem
Pragmatic effect composition and validation for Rust - pure core, imperative shell