Initial Review of HKTs RFC

Comments welcome!
does `[a] = xs`?