From what I have read GATs (Generic Associated Types) are a deliberate choice to not have to introduce HKTs. https://github.com/rust-lang/rust/pull/96709#issue

From what I have read GATs (Generic Associated Types) are a deliberate choice to not have to introduce HKTs. https://github.com/rust-lang/rust/pull/96709#issuecomment-1148852889 https://github.com/rust-lang/rust/pull/96709#issuecomment-11...