> 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?!