Chieri Saito Atsushi Igarashi Mirko Viroli Lightweight family polymorphism. 285-331 2008 18 J. Funct. Program. 3 http://dx.doi.org/10.1017/S0956796807006405 db/journals/jfp/jfp18.html#SaitoIV08