今更ながらZipperについて調べてみたんだけど、これただのiteratorじゃない？
なんで微分がどうこうとかやたら難しい言い方されてるんだ？