The tool that manages your stress and workload: getting your work done, all of it, in time, and without stress!
The tool to get things out of your head to be dealt with appropriately for instant stress relief and to prevent future stress.
The most reliable tool to remind your future self of things from the past so your present self doesn't have to.
This blogpost explains and argues the claim that Ad-hoc polymorphism (Type-classes in Haskell/Scala/Purescript, Traits in Rust, Interfaces in Go/Java) makes code less type-safe.
In other words: ad-hoc polymorphism makes it so that sometimes, after a refactor, code that is wrong and would not type-check without it, now still type-checks.