定義を見てみましょう。型関数も作れることになります。型のレンズ版ゲッターが作れます。つの関数は互いに逆になっています。ゲッターの型としては本質的にはどちらを使っても良いわけです。型の本体は全く同じです。型を受け取る関数にそのまま渡すことができます。違いが型制約だけになっているおかげでこの手間がありません。今回はゲッターのみの機能をもつレンズについて扱いました。実際はセッターのみのレンズを扱いたいと思います。reserved.TOP。