There's going to be a new episode of the #Haskell #Unfolder today, 2025-11-12, at 1930 UTC. We're going to discuss how to implement (more) type-safe APIs via some type-level programming using the sop-core package.
https://www.youtube.com/watch?v=3XeIoA0aVLQ&list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7&index=51