I think if that some of these concepts should just be included with the 3.9 Annotated Type Annotated[IO[str], unpure] in 3.9 and above if the authors want

I think if that some of these concepts should just be included with the 3.9 Annotated Type Annotated[IO[str], unpure] in 3.9 and above if the authors want to commit to type hints being core to this. I agree that the decorators feel a little wrong