Structural polymorphism, Theoretical Computer Science 115 (1993)

by P Freyd