I think this is still possible with associated types. You can imitate higher kinded types with associated types, just that you wouldn&#x27;t <i>want</i> to.<p>I recall someone posting a Monad or Collection HKT example when associated types were proposed.