Which is why you want to do the same to `StateT`
# arrow
s
Which is why you want to do the same to
StateT