Initial Review of HKTs RFC

Comments welcome!
Same thing here, do we want to have consistent headers like line 26?