primCmpInt :: MyInt  ->  MyInt  ->  Ordering;
primCmpInt (Pos Zero) (Pos Zero) = EQ
primCmpInt :: MyInt  ->  MyInt  ->  Ordering
primCmpInt (Pos Zero) (Pos Zero) = EQ
primCmpInt (Pos Zero) (Pos Zero) = EQ