No, the reason that you need `State` is because `(...
# arrow
s
No, the reason that you need
State
is because
(S) -> Tuple2<S, A>
and
(S, A) -> Tuple2<S, B>
don’t compose