You mean `StateT<F, S, A>`
# arrow
i
You mean
StateT<F, S, A>