Ralf__Hinze
A generic programming extension for Haskell
A New Approach to Generic Functional Programming
Derivable type classes
Generic Haskell: applications
Manufacturing datatypes
Polytypic functions over nested datatypes
Polytypic Programming with Ease
Polytypic values possess polykinded types
Type-indexed data types