This is a job for the little used -O flag. Are there a any good libraries to turn on/off type checking using if debug as part of the decoration logic? If so th

This is a job for the little used -O flag. Are there a any good libraries to turn on/off type checking using if debug as part of the decoration logic? If so then running with -O in production would solve some of the problem with this.