I used to feel safe with types as well, until I realized every bug found in production did pass the type checker and the full test suite. To me, explicitly man

I used to feel safe with types as well, until I realized every bug found in production did pass the type checker and the full test suite. To me, explicitly managing state and keeping parts of the system decoupled and simple to understand is now what I require in order to sleep peacefully at night. A type system can help with this, but not that much.