eqConstr :: Constr
eqConstr         = mkConstr orderingDataType "EQ" [] Prefix
eqConstr :: Constr
eqConstr         = mkConstr orderingDataType "EQ" [] Prefix
eqConstr         = mkConstr orderingDataType "EQ" [] Prefix