Type inference helps us keep things simple and less verbose. That, of course, is also true for enumerations.

Fewer words, more fun. If myLevel knows that it's a Level-type enumeration, we don't have to tell it again.

That'd work, of course, but didn't we want to use type inference?