Initial Review of HKTs RFC

Comments welcome!
Already had examples. move this one up or get rid of it