let iter f = IH.iter f Param.states