そもそも私が非ゼロの型を欲しがった動機は、掛け算の群をHaskellで定義したかったからです。
ゼロを含めてしまうと、それの逆元は存在しないので、群とはなりません。