generated at
Zipper
とあるデータ構造

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