なんかよく分からんが分母に0がこないことをコンパイル時点で保証するために
0を含まない整数を定義したい、って話に近いようにも聞こえる。

っていうか、どうしてもそんな型が必用ならもうCrossProductable でいいじゃん。
そう冗長なわけでも簡潔すぎるわけでもなし