嚴格匹配元組

模式 (p1, p2) 在最外層的元組建構函式中是嚴格的，這可能導致意外的嚴格行為 。例如，以下表示式發散（使用 Data.Function.fix）：

fix $ \(x, y) -> (1, 2)

因為 (x, y) 上的匹配在元組建構函式中是嚴格的。但是，使用無可辯駁模式的以下表示式按預期計算為 (1, 2)：

fix $ \ ~(x, y) -> (1, 2)