TIL: Rust's lack of HKTs can cause inductive cycles that ICE the compiler

Just spent some time reading a really wild blog post about Rust's type system and I had to share the...