http://www.generic-haskell.org
R. Hinze. Polytypic values possess polykinded types. Science of Computer Programming, MPC Special Issue, 2001. To appear.
R. Hinze. A new approach to generic functional programming. In Symposium on Principles of Programming Languages, pages 119-132, Jan. 2000.
P. Jansson and J. Jeuring. PolyP--A polytypic programming language extension. In Symposium on Principles of Programming Languages, pages 470-482, 1997.
C. B. Jay, G. Belle, and E. Moggi. Functorial ML. Journal of Functional Programming, 8(6):573-619, 1998.