Initial Review of HKTs RFC

Comments welcome!
put this in a code block