Initial Review of HKTs RFC

Comments welcome!
mainstream is one word