Type level Programming in Rust This is a working example of type level programming in Rust. Type level data TBool TNat HList Type level operations TAnd, TOr for TBool TAdd, TSub, TEqaul for TNat TContains<N: TNat> for HList