And typing wasn't explicit for a long time. Now it is kind of best practice, but you can still produce Python without typecheck metadata.