Thijs Alkemade, Johan Jeuring. Type Class Instances for Type-Level Lambdas in Haskell. In Manuel Serrano, Jurriaan Hage, editors, Trends in Functional Programming - 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers. Volume 9547 of Lecture Notes in Computer Science, pages 60-84, Springer, 2015. [doi]
Abstract is missing.