no return value for state monad