This is the accompanying code repo for the "Practical Type-Level Programming in Scala 3" post on the Rock the JVM blog. Use Scala CLI to build and run the code in this repo.