let fold f = IH.fold f states