Zippers and Algebra and Stuff ∘ Brisbane Functional Programming Group, Brisbane, Australia ∘ 2018-11-13