Unmasking AnyKind: Type Shapes in Scala 3

A deep dive into AnyKind in Scala 3 — what it is, why it exists, and how it changes the way we think about type shapes, type lambdas, and macros.

December 2, 2025 · 16 min · Szymon Cytrowski