Yup. Plus it should also be possible to only turn on type checking selectively for some functions in production. This way to you can implement it on functions t

Yup. Plus it should also be possible to only turn on type checking selectively for some functions in production. This way to you can implement it on functions that are executed infrequently and don't have a material impact on performance, but leave it off for those code paths that are critical for performance.