Oleg Kiselyov, Chung-chieh Shan
Functional pearl: implicit configurations-or, type classes reflect the values of types
Haskell, 2004.
@inproceedings{Haskell-2004-KiselyovS, author = "Oleg Kiselyov and Chung-chieh Shan", booktitle = "{Proceedings of the Eighth Haskell Workshop}", doi = "10.1145/1017472.1017481", pages = "33--44", publisher = "{ACM}", title = "{Functional pearl: implicit configurations-or, type classes reflect the values of types}", year = 2004, }