>>662
そうじゃなくて、IntNZ 型を Num 型クラスのインスタンスにして、
その (-) 関数の定義の中で error 関数を使おうよ。

数値リテラルでの 0 の代入を構文的に防ぐのは（今はたぶん）無理だから、
せめて fromInteger 関数の定義で、0 が来たら error 関数を呼ぶ。