Kinder

Algebraic structure and emulation of higher kinded types for Rust