Matt Parsons about type level programming in Haskell.

Basic Type Level Programming in Haskell
http://www.parsonsmatt.org/2017/04/26/basic_type_level_programming_in_haskell.html

If type level programming in Haskell is like template meta programming in C++, then I do not want this.