Exponential time complexity in the Swift type checker https://www.cocoawithlove.com/blog/2016/07/12/type-checker-issues.html (nifty deep dive into the constraint solver inside)