interesting....how does it play along with type hints? btw, this is one area where I can't really find a comeback in argument against typescript.

would be cool if this somehow let me know before running the python code whether I am passing in the wrong type or not.

very nice work, i dont really understand whats happening underneath the hood but any productivity boost is welcome.