Type Level Programming is currently a hot topic in the Scala community. For many people that have not invested a significant amount of time to understand this stuff, this style of programming probably seems crazy, totally unreadable, super difficult and therefore very intimidating to them. With this talk i will try to give people a smooth start into this topic. This is achieved by translating 3 simple value level programs into type level programs.