Yeah, I agree with my sibling comment above that Blub is kind of a weak concept for this reason.<p>It&#x27;s hard to say because the work for those features hasn&#x27;t even been started; the MIR refactoring is still underway. Once that&#x27;s done, RFCs for this stuff will start to appear, and we&#x27;ll have a better idea of overall schedule. I would say that the current schedule is &quot;longer than months, shorter than a few years&quot;.<p>I myself _really_ want higher kinded types, but at the same time, I would rather wait and do it right than rush and regret thing slater. We have a solid language as it is; the need to get these more advanced features is not particularly urgent, in my opinion. I like to think on the long scale when it comes to the language: if it&#x27;s going to be around 40 or 50 years, we&#x27;re in year one. There&#x27;s plenty of time.