[singhrac]

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.