let replace = IH.replace Param.states