ICFP Day two: Made some solid progress. Still being held back by how slow our tools are.