Comment by Locke1689

Type annotations have reduced those cases to very rare instances, but yes there are still cases where the type checker can produce exponential runtime.