Thomas Dietert-Types as Program Specifications: A Intro to Type-Level Programming in Haskell λC 2019