@misc{indiciaeb5a7b1c5276e,
  title = {How Functorial Are (Deep) GADTs?},
  author = {Patricia Johann and Pierre Cagne},
  year = {2022},
  url = {https://arxiv.org/abs/2203.14891},
  note = {Source identifier: 2203.14891}
}