I was on a project-from-hell once where the project lead cared far more about getting types perfect than allowing the code to be, you know, useful.

If we couldn't do something 100% type-safe then we weren't supposed to do it at all. I kid you not.

I got off of that project as soon as I could manage without burning a bridge. Funny thing was that before that? I thought I was quite the stickler for getting types as correct as possible. Turns out I was off by an order of magnitude of what a real "stickler" for correct types could be...