Re: [Haskell-cafe] ANNOUNCE: Generic Haskell 1.80 (Emerald)

Generic Haskell includes the following features:

* type-indexed values -- generic functions that can be instantiated on all Haskell data types.

How come I haven't ever heard about such a thing?!