I think HKTs should be addressed separately, since...
# arrow
e
I think HKTs should be addressed separately, since they raise a lot of separate syntactic and semantic issues.