@misc{chen2024digression,
  author       = {Evan Chen},
  title        = {Digression on Type Safety},
  year         = {2024},
  howpublished = {\url{https://web.evanchen.cc/upload/1802/tsafe-1802.pdf}},
}