A primer on Type Level programming. My Presentation of the excellent article at https://diogocastro.com/blog/2018/10/17/haskells-kind-system-a-primer/