> What problem would higher kinded types solve in Rust? You don't have a way to say in Rust 'this functions works on types similar to an 'Option<T>' for all ty

> What problem would higher kinded types solve in Rust? You don't have a way to say in Rust 'this functions works on types similar to an 'Option<T>' for all types T. Or 'this functions works on types similar to a 'LinkedList<T>' for all types T. Which actually is more or less the same, we can therefore name both 'Option' and 'LinkedList' for example, well, 'Mona'.