ICFP2014 paper