Control.Lensについて以下のようなことを調べました:
Control.Lens
Define a class that guarantees the constraint, Luke.
標準ライブラリで色々用意されているfold系関数の使いこなしに関しては色々な情報がネットに存在します。確認のために調べると
view patternも使いどころが肝心らしいという話
f :: a -> b -> m cx…