Lightning talk at the International Summer School on Metaprogramming.
https://www.cl.cam.ac.uk/events/metaprog2016/