Higher-kinded types

[glaebhoerl]

Oddly, there doesn't appear to be an open issue to collect discussion on this feature yet? So I'm hereby creating this one for that purpose.

There is some previous discussion about HKTs, type lambdas, type inference, and so on in the comments on the default type parameters RFC.

Given that : at the type level is already taken for trait bounds, here is my basic idea for the syntax of kinds.

And finally my motivation for creating this issue: I wanted someplace to link this Scala issue, the discussion in which, and the papers which are referenced, may also be relevant for us.

[steveklabnik]

#324 is the issue tracking this

[glaebhoerl]

Ah, sorry. Neither "higher kinded types" nor "HKT" turned it up.