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