`ST` will no longer depend on `Eff` and so the inliner will need to change slightly.
STwill no longer depend onEffand so the inliner will need to change slightly.