The Baby Paradox in Haskell
Faking ADTs and GADTs in Languages That Shouldn't Have Them
Sum Types and Subtypes and Unions
Advent of Code 2024: Haskell Solution Reflections for all 25 Days
Functors to Monads: A Story of Shapes