Hi, I have a question!

[Ketil Malde]

Derek Elkins <ddarius at hotpop.com> writes:

>> Either use a different name for your operator, or specify the "+" that
>> you want by writing "OperationTest.+" instead of "+".

> You can also hide the Prelude (+), though it is a somewhat useful
> function.

Wouldn't making Nat an instance of Num also work?

    instance Num Nat where
        -- the definition of (+) for Nat here

-kzm
-- 
If I haven't seen further, it is by standing in the footprints of giants