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