companion to ICFP 2013 submission