ltConstr :: Constr
ltConstr         = mkConstr orderingDataType "LT" [] Prefix
ltConstr :: Constr
ltConstr         = mkConstr orderingDataType "LT" [] Prefix
ltConstr         = mkConstr orderingDataType "LT" [] Prefix