Type-Level Haskell from Zero to Advent

About

This material is from an in-person workshop I ran during my company's Engineering Week, 2026.

Intro

In this workshop, we’ll treat Haskell’s type system as its own language, learning:

• How to declare type-level data structures
• How to define type-level functions
• How to do type-level parsing

Finally, we’ll tackle some real Advent of Code problems using only types!

Getting Started

• Make sure ghci is installed, with a GHC version of 9.2 or above (ghci --version)
• Open src/1_TypesAndKinds.lhs, and proceed through the files in numbered order