gtConstr :: Constr
gtConstr         = mkConstr orderingDataType "GT" [] Prefix
gtConstr :: Constr
gtConstr         = mkConstr orderingDataType "GT" [] Prefix
gtConstr         = mkConstr orderingDataType "GT" [] Prefix