At 2002-02-18 03:11, Bernard James POPE wrote:

The compiler is required to generate instances of Reify for all types in the program (instances for built in types are hand-coded in a Standard Library).

This is reflection! I'd rather not have Haskell contaminated with such things; I know Generics are just as bad, but I'm hoping they won't catch on. Speaking of which, can you not do this sort of thing with Generics anyway? -- Ashley Yakeley, Seattle WA