This is the video for Peter’s talk at the Curry0n Conference in Rome in July. CurryOn is a conference series where academia and industry get together to exchange ideas about Programming Languages technology.