TY  - RPRT
TI  - Bidirectional Type Class Instances (Extended Version)
AU  - Koen Pauwels
AU  - Georgios Karachalias
AU  - Michiel Derhaeg
AU  - Tom Schrijvers
PY  - 2019
UR  - https://arxiv.org/abs/1906.12242
ID  - 1906.12242
ER  -