[logicchains]

Haskell supports this, but right from the start Rust was always wary of trying to add higher kinded types, which are necessary to support this.

[anonymoushn]

As a Zig programmer I also get to enjoy this, but from the angle of language implementors not caring about type theory