let curry_constr = ref true