And they use `typealaias StateReq<A> = State...
# arrow
s
And they use
typealaias StateReq<A> = StateTPartialOf<ForIO, Requests>
as a way to clean up this