shoggoth (cargo): Generic and type-level programming for Rust
Keywords: generic|type-level|heterogeneous|natural-numbers|binary