typ 0.1.1

Type-level programming in Rust
Documentation