Email Record: Intro to type-level programming in Haskell.