☝️ that's an example of type safety, missing label would throw an error at run time but here it's detected at "compile time"