docs: "state transformer" -> "state monad" / "ST" (whichever is meant)