|
|
|
|
|
|
by Manishearth
3801 days ago
|
|
|
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. |
|
|