a data structure within Rust's type system - View it on GitHub