m+n と n+m が区別される例

パターンマッチの枝において、m+1と1+mは区別される。これはsuccとdefeqであるかどうかという問題。