let
fold f =
IH
.fold f states