Text this: Intro to type-level programming in Haskell.