11 Jan
2004
11 Jan
'04
11:19 p.m.
Derek Elkins
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