Instant Generics now has a website!
http://www.cse.unsw.edu.au/~chak/project/generics/
It also has a tar ball with some example code.
I research and teach programming languages, compilers, and their applications at the University of New South Wales (UNSW), Sydney. My main interest is in functional and parallel programming, and in particular, in Haskell.
My Twitter handle is TacticalGrace.
Check out my UNSW website.
http://www.cse.unsw.edu.au/~chak/project/generics/
It also has a tar ball with some example code.
http://www.cse.unsw.edu.au/~chak/papers/CDL09.html
This paper introduces a novel approach to datatype-generic programming based on type classes and type families. It is fairly easy to use, is very expressive, and incurs minimal overhead over handwritten datatype-specific code.