Initial Review of HKTs RFC

Comments welcome!
Noted I will look into this.