lib: no longer needs the fixpoint as we don't always return a resumption