Welcome to our second post on Template Haskell! Today we will take a quick look at typed Template Haskell. This article assumes some familiarity with Template Haskell (TH) already. If this is your first journey with TH, then check out our introduction to Template Haskell first. For this article, we will be using GHC 8.10.4. However, we will also show the changes that are necessary so the code work