Zipper
とある
データ構造
https://qiita.com/hennin/items/a89ebfecb25272960351
https://ja.wikibooks.org/wiki/Haskell/Zippers
型の数
zipperでスクボ検索したらURLが引っかかったので関連あるか知らんけど貼っている
mrsekut.icon
Comonad型クラス
https://en.m.wikibooks.org/wiki/Haskell/Zippers
https://qiita.com/lotz/items/fbc4788b8ea8313cbf76