but why calling a higher kind simply a kind, or "f...
# arrow
n
but why calling a higher kind simply a kind, or "for" which I presume to be a shortcut of "a higher kind
For
Option"? that feels like obscuring things, not clarifying