you need to design very well your type `S` of `Sta...
# arrow
d
you need to design very well your type
S
of
State<S, A>