Thinking with Types: type-level programming in Haskell