Demonstrating my research on programming language (type) theory:

https://users.rust-lang.org/t/high-order-function-with-type-parameter/3112/8

https://users.rust-lang.org/t/most-coveted-rust-features/324/38

Or in short, why we probably don't need higher-kinded and higher-ranked types, but we do need first-class disjunctions and inversion-of-control ad hoc dispatch.