yes, you still need that since the proposal is not...

# arrow

[tomasruizlopez]

yes, you still need that since the proposal is not for adding Higher Kinds to the language, but to add typeclasses and implicit resolution