lifted 0.1.0

Higher-kinded types in Rust.
Documentation