Lesson 10 — Companion traits, optimizations, and real impls