the thing is, if you have a function `foo :: a -&g...

# functional

[tschuchort]

the thing is, if you have a function foo :: a -> State s a it doesn't really return the state itself, because the state we're dealing with is of type s. It really returns a deferred computation that returns a state when it's run later on. That's why I think State is a wrong/confusing name.