let
replace =
IH
.replace states