ICFP Draft Updated