let main () : unit Deferred.t = def_both () >>= fun () -> def_all () >>= fun () -> def_any () >>= fun () -> return ()