Initial Review of HKTs RFC

Comments welcome!
I thought the kinds were inferred