Zippers and Algebra and Stuff ∘ LambdaConf, Boulder, Colorado, USA ∘ 2019-06-07

Source (github)
Slides (pdf)
Video (youtube)