Earlier quoted context omitted.
If you consider `template ` to be HKT then Rust has this too. Rust macros can be used like C++ templates (minus autoinstantiation) and they can take other macros as parameters. It's not as nice as C++, but ... workable. Patrick is talking about HKTs which can be typechecked at the source, similar to the rest of Rust generics, when he talks about "they want to create typeclasses that abstract over types of a higher ki…
Exactly. If C++/D have HKT, then so does Rust via its macro system.
C++ and D do it differently, I don't know why you're lumping them together. (Well, actually, I lied, I do know why.)