refutable

模式有两种形式：可反驳的（refutable）与不可反驳的（irrefutable）。可以配对任何可能数值的模式属于不可反驳的（irrefutable）。而可能会对某些数值配对失败的模式则属于可反驳的（refutable）