Playing around with State monad on mutations