typ 0.1.0

Type-level programming in Rust
Documentation