Could you elaborate on what you find puzzling about Reader and Writer (and maybe State)? I've always thought of those as "simple": Their use is (seems?) strai

Could you elaborate on what you find puzzling about Reader and Writer (and maybe State)? I've always thought of those as "simple": Their use is (seems?) straightforward - I have a context that can hand me a value, take values from me, or thread a state. Also, they're "just" thin wrappers around common types. `Reader r` is `r -> a`; `Writer w` is `(a, w)`; `State s` is `s -> (a, s)`. I'm interested whether you can unpack a bit where the difficulty seems to lie. Backgrounds differ and what's simple for one may be complex for another, without any judgement around overall capability.