In the paper by Ralf Hinze, "Generics for the Masses", there is reference to code one may play with. But the link, http://www.ralf-hinze.de/masses.tar.bz2 is dead. I know someone, somewhere has this file. Could you point me to where it lives?