Jeffrey M. Bell Françoise Bellegarde James Hook Type-Driven Defunctionalization. 25-37 1997 ICFP db/conf/icfp/icfp97.html#BellBH97