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

Д>Сутра проснулся и все понял: я хотел для своего типа указать дефолтный инстанс, но как я понял, default указывает только для Num (я еще и подумал кака запись default (Int) узнает какой я класс хочу).

Д>Я ведь прав? дефолтный инстанс можно только для Num?

В рамках текущего GHC — Num с расширением для strings, для Haskell' есть предложения по более общему решению