opaque-types Live coding to my Opaque Types in Scala 3 presentation. Steps: Empty test Raw types Simplest opaque type Moving to separate scope Construction Safe construction Instance methods Bounds Iron