As for `runA` and `runS`: are they even really nee...

# functional

[tschuchort]

As for runA and `runS`: are they even really needed? It's easy enough to extract the state/value from the result tuple (maybe a Pair alias should be used here). In any case, I think the docs should be kept as simple and self explanatory as possible. The more specialized cases/best practices can be explained further down