If you make it part of the deploy / build process and force programers to only use the subset of features supported by a type checker then you can benefit.