Coherent Explicit Dictionary Application for Haskell: Formalisation and Coherence Proof

Thomas Winant, Dominique Devriese

Type classes are one of Haskell's most popular features and extend its type system with ad-hoc polymorphism. Since their conception, there were useful features that could not be of…