Strict State Effect matches Lazy State Monad interface.