I would also prefer type checks to be done at runtime as well. The reason Python doesn’t do that is likely indeed the cost to performance