like tests - types come with a cost. they are not free and the category of errors they catch are quite simply. also, in my experience, people that depend on ty

like tests - types come with a cost. they are not free and the category of errors they catch are quite simply. also, in my experience, people that depend on types usually skip writing automated tests go directly to manual testing skipping the rest of the testing pyramid.