The team has actually been pretty careful to design in a HKT-compatible way. While there isn't a fully-fleshed out design yet for Rust, there are designs in other languages, and we've looked at their pitfalls to make sure we can avoid them.

For example, see https://github.com/rust-lang/rfcs/pull/213#issuecomment-6575...