let
iter f =
IH
.iter f states