@misc{indiciae8b2ef81ec234,
  title = {Bidirectional Type Class Instances (Extended Version)},
  author = {Koen Pauwels and Georgios Karachalias and Michiel Derhaeg and Tom Schrijvers},
  year = {2019},
  url = {https://arxiv.org/abs/1906.12242},
  note = {Source identifier: 1906.12242}
}