可反驳模式 Refutable pattern

可能无法匹配输入类型某些值的模式，因此需要明确的失败路径。