Martin Sulzmann Tom Schrijvers Peter J. Stuckey Principal Type Inference for GHC-Style Multi-parameter Type Classes. 26-43 2006 conf/aplas/2006 APLAS http://dx.doi.org/10.1007/11924661_2 db/conf/aplas/aplas2006.html#SulzmannSS06