But if you use `State` and partially apply `S` the...
# arrow
s
But if you use
State
and partially apply
S
then the functions become
() -> A
,
(A) -> B
and these compose