You need `State` + `IO` so `StateT<ForIO, S, ?&...
# arrow
s
You need
State
+
IO
so
StateT<ForIO, S, ?>