[naasking]

Type checking is not exponential last I checked. However, languages with global type inference have exponential behaviour when inferring types for some pathological programs.