> 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 Christian