So for `StateT<F, A, B>` there are 2 types w...
# arrow
s
So for
StateT<F, A, B>
there are 2 types we can partially apply