code to accompany ICFP 2014 keynote