穷尽 when Exhaustive when

各分支覆盖主题所有可能值的 when 表达式。