Functional Weave
Code in Rust

Tagged deduction

1 capability