let iter f = IH.iter f states