Static Types Are for Perfectionists