Y
[1,2,3] & traverse %~ (+1)
даст списокSize: a a a
MK
[1,2,3] & traverse %~ (+1)
даст списокY
[1,2,3] & traverse %~ (+1)
даст список%=
даёт ()
MK
.~
же?KV
MK
%=
это вообще для monadstateKV
MK
Y
%=
это вообще для monadstateMK
KV
Y
someList . each . filtered somePredicate %= fun
res <- gets (^.. someList . each . filtered somePredicate)
[
MK
[
[