abstract_instance_helper_1.m:024: Inferred :- pred run_int(int, io.state,
abstract_instance_helper_1.m:024:   io.state).
abstract_instance_helper_1.m:024: Inferred :- mode run_int(in, di, uo) is det.
abstract_instance_helper_1.m:028: Inferred :- pred run_string(string, io.state,
abstract_instance_helper_1.m:028:   io.state).
abstract_instance_helper_1.m:028: Inferred :- mode run_string(in, di, uo) is
abstract_instance_helper_1.m:028:   det.
abstract_instance_helper_1.m:032: Inferred :- pred run_list(list.list(T),
abstract_instance_helper_1.m:032:   io.state, io.state) <=
abstract_instance_helper_1.m:032:   (abstract_instance_helper_1.runnable(T)).
abstract_instance_helper_1.m:032: Inferred :- mode run_list(in, di, uo) is det.