Initial Review of HKTs RFC

Comments welcome!
Maybe uppercase the header to be consistent with line 26?