Chapter 1: Proof Support for General Type Classes. - Van Kesteren, Ron; Van Eekelen, Marko; De Mol, Maarten (Trends in Functional Programming Volume 5, 2006)