Например в вебе, я получаю данные, обрабатываю, кладу в базу, по запросу дергаю, отдаю юзеру и в случае кложи это как правило мапа или массив мап и на входе и на выходе и даже в базе. Есть валидация на входе, которая отсекает не валидные данные, есть тесты, есть аннотации типов, но это скорее как помощь компилятору, а не обязанность. Теперь вопрос, где в этом потоке требуются типы и что они дают/какую ценность добавляют, и чем приходиться за это платить?

Обычно, типы заменяют валидацию. Заплатить придётся более строгим форматом и иногда дополнительными геттерами для гетерогенных коллекций
В остальных задачах этого конвейера разница не так заметна