用 OCaml 的 Effect System 实现一个完整的 Agent Harness