банально, чем больше сущностей в коде, тем больше когнитивная нагрузка. тебе нужно прописать где и какой тип будет. это больше суеты, больше времени и анализа на это дело. дополнительный контроль всегда будет требовать дополнительных усилий
> чем больше сущностей в коде, тем больше когнитивная нагрузка
Вот ты и пришёл к тому же выводу. Зачем дополнительно думать о том где нужно строгое сравнение а где нестрогое, если можно всегда использовать строгое?