To be clear these are extremely rare circumstances. You virtually never need type annotations. And even in some cases where you used to need them a simple type

To be clear these are extremely rare circumstances. You virtually never need type annotations. And even in some cases where you used to need them a simple type application is often enough now. You can go an entire career without writing a single type annotation. It depends heavily on what style of Haskell you write.