primEqInt :: MyInt  ->  MyInt  ->  MyBool;
primEqInt (Pos (Succ x)) (Pos (Succ y)) = primEqNat x y
primEqInt :: MyInt  ->  MyInt  ->  MyBool
primEqInt (Pos (Succ x)) (Pos (Succ y)) = primEqNat x y
primEqInt (Pos (Succ x)) (Pos (Succ y)) = primEqNat x y