I think this is still possible with associated types. You can imitate higher kinded types with associated types, just that you wouldn't want to. I recall someo

I think this is still possible with associated types. You can imitate higher kinded types with associated types, just that you wouldn't want to. I recall someone posting a Monad or Collection HKT example when associated types were proposed.