Initial Review of HKTs RFC

Comments welcome!
Maybe split this into motivation section?