Similarly if you apply `F` and `S` to `StateT` tha...
# arrow
s
Similarly if you apply
F
and
S
to
StateT
than you can compose
() -> IO<A>
and
(A) -> IO<B>
(flatMaps)