@misc{koronkevich-2024-type,
  author = {Paulette Koronkevich and William J. Bowman},
  title = {Type Universes as Allocation Effects},
  year = {2024},
  month = {7},
  eprint = {2407.06473},
  archiveprefix = {arXiv}
}