It's syntactically quite simple to avoid those two in your own code. You're not necessarily aware that a library you're using is using these. That said, the c

It's syntactically quite simple to avoid those two in your own code. You're not necessarily aware that a library you're using is using these. That said, the community is pretty good at nudging people toward total functions, particularly in commonly used libraries (Prelude notwithstanding). And as you say, it helps that it is generally obvious when non-totality is newly introduced - infinite loops being the biggest exception, but that's unavoidable anywhere you don't have an actual totality checker.