Здравствуйте, Дмитрий, Вы писали:

Д>Почему он на ноль не ругается, а на мой класс ругается, у него ведь для нуля тоже Ambiguity — типы выглядят одинаково?
Д>Он что для класса Num имеет какой-то дефолтный инстанс?

См. раздел 4.3.4 The Haskell 98 Report