Bound to Thrill: A Seductive Peek at Scala 3's F-Bounded Type TangosF-bounding in Scala type definitions enables expressive modeling of relationships between types.