Derivable type classes

Christian Maeder
Wed, 16 Apr 2003 18:27:02 +0200

> The plan would be to automatically derive classes 'Typable' and 'Term'
> for every data type, and make TypeReps a bit more efficient and clean.

Good, I would appreciate that very much!

> 	is anyone actually using the derivable-type-class stuff?
> 	does anyone mind if they die

No, I don't mind