I wrote in previous letter on replacing (Num.fromInteger 2 :: T) + x with (Additive.fromInteger 2 :: T) + x It occurs to me now that, probably, the popular preprocessors are for such purposes. But I never tried ... ------------------ Sergey Mechveliani [EMAIL PROTECTED]