In this excerpt from the `StateArrow' page:

runState :: Arrow a => StateArrow s a e b -> a (e, s) (b, s)Source

what's the significance of having written "StateArrow s a e b", instead of "StateArrow s a b c"?

Thanks,

-db