Meaning when we talk about StateT we actually mean...

# arrow

[Imran/Malic]

Meaning when we talk about StateT we actually mean something along the lines of
StateT< F, S -> Tuple2(S, A), A>