You can derive the type of a zipper by “differentiating” the data structure typelobste.rs2 pointsColinWright5 years ago