functional reactive programming for ocaml list