Comment by fhchl

This lookes well made and based on the great beartype. I wonder if there are packages that use this and if one could imagine a similarity interfunctioning ecosystem for Python as Julia seems to have.