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

[

[