Functional pearl: implicit configurations-or, type classes reflect the values of types.

Oleg Kiselyov, Chung-chieh Shan

Browse the full HASKELL paper archive.