Kleene logic in Rust's type system - View it on GitHub