the change is for the later, for them to be able t...

# arrow

[pakoito]

the change is for the later, for them to be able to read the APIs at first glance without having to go back to a definition of what a higher kind is