let curry_constr = ref false