Generic Haskell is a language extension of Haskell, allowing the user to write functions that have a type argument. There is a compiler available that is continually improved and extended. It is implemented in Haskell and the attribute grammar system, therefore knowledge of these languages is helpful. Previous experience with generic programming is not needed, though.
A project would cover a small extension to the compiler to improve its functionality or make it easier to use.
Contact: Andres Loeh
More: Generic Haskell home page