Theorems for Free!

Philip Wadler. Theorems for Free!. In FPCA. pages 347-359, 1989. [doi]