@misc{indiciae5ea5e9336b33,
  title = {Kind Inference for Datatypes: Technical Supplement},
  author = {Ningning Xie and Richard A. Eisenberg and Bruno C. d. S. Oliveira},
  year = {2019},
  doi = {10.1145/3371121},
  url = {https://arxiv.org/abs/1911.06153},
  note = {Source identifier: 1911.06153}
}