let
quick_run_program t :
Make_fun
.t =
Make_fun
.with_requirements t.run_program (
Make_fun
.quick [])