排反と破綻は同義説w
破綻:法則に当てはまらない事象があること
排反:いくつかの事象があり,その中の一つの事象が起これば,他は絶対に起こらないという関係のこと。
これもこのままだと型エラーを生み出します。
破綻は、法則についていうもので、排反は、法則の対象である事象についていうものだからです。
この型エラーを幾分修正しても同義であるとは言えないことはこちらにかきました。
http://jeison.biz/casphy/bbs/read.php?cate=kenka2&mode=thread&no=8207&res=172