Dealing with completeness (type coverage) in pattern labels for switch: This is another cool topic for switch expression. Explain and exemplify it in detail (theory ad examples).