Defining the behaviour of a Num instance with other Num types and with itself

[brandonchinn178]

Is there a reason you made a second post?

Define a type compatible with all functions that accept Num

If I define a type, how can I make it compatible with all functions that accept Num? Suppose I have this: data MyNum a = (Num a) => MyNum !a !a If I write this: instance Num a => Num (MyNum a) where (MyNum x1 y1) + (MyNum x2 y2) = MyNum (x1 + x2) (y1 + y2) (MyNum x1 y1) - (MyNum x2 y2) = MyNum (x1 - x2) (y1 - y2) (MyNum x1 y1) * (MyNum x2 y2) = MyNum (x1 * x2) (y1 * y2) negate (MyNum x y) = MyNum (negate x) (negate y) abs (MyNum x y) = MyNum (abs x) (abs y) signum (My…