Bidirectional type class instances. - Koen Pauwels; Georgios Karachalias; Michiel Derhaeg; Tom Schrijvers (Haskell@ICFP, 2019)

Bidirectional Type Class Instances (Extended Version). - Koen Pauwels; Georgios Karachalias; Michiel Derhaeg; Tom Schrijvers (CoRR, 2019)