A library for exploring type level programming in Rust.