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

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

Простите, что-то не получается, а можно пример кода?
я писал так:

module Test where

default (Int)

class Num' a where
    fromInt :: Int -> a

instance Num' Int where
    fromInt = id

n0 :: Num' a => a
n0 = fromInt 0

Короче я везде вставлял

default (Int)

, но не помогало.

Помогите пожалуйста.