Match types, they power Scala 3’s generic tuples, named tuples, and type class derivation framework. Presently the compiler or documentation could do better to eliminate frustrations when they fail to reduce. This talk is aimed to point users in the right direction, as well as provide strong motivation and reduce “fear” of complexity.