It's been great to see more Haskell content hitting HN lately. Since the videos were recently posted, I wanted to share a talk I gave last year at the Haskell.love conference that gives an introduction to type level programming. The talk walks through a fairly contrived example that illustrates some of the things you can do at the type level in Haskell.