レコード アクセサーであるレンズはどうですか。
http://hackage.haskell.org/packages/archive/lens/3.9.0.2/doc/html/Control-Lens-Type.html#t:レンズ
アナモフィズムに関係？例えば
前者を後者のインスタンスにすることはできますか?
最近レンズをよく使っています。レンズは、Haskell プログラミングにおいて多くの点で重要です。それらはレコード アクセスのためのツールであり、ステートフル プログラムです... レンズについての理解を深めるために、私は「バナナ、レンズ、封筒、および有刺鉄線」という論文を読み始めました。"INSIDE 206-105" の助けを借りて、私は Haskell で -morphisms をゆっくりと再実装しました。すると、上記の疑問が頭に浮かびました。