No, for `StateT` it’s the computational result `S ...
# arrow
s
No, for
StateT
it’s the computational result
S -> Tuple2(S, A)
here
A
.