Wow I love this. This is one of my favorite features of Rust/OCaml (along with variant types / data-bearing-enums). I think the latter would help a lot with er

Wow I love this. This is one of my favorite features of Rust/OCaml (along with variant types / data-bearing-enums). I think the latter would help a lot with error handling in particular, not to mention defining protocols.