yet another very simple overlapping instance example

[Koen Claessen]

 | instance (Num a) => Op_plus a MyInt where
 |      i `plus` (MyInt b) = i + b

Remember that b is of type Int, but you also say that i is
of any Num type. This clashes, since + requires both if its
arguments to hve the same types.

/K