https://t.me/scala_ru/262277
https://t.me/scala_ru/262309
https://t.me/scala_ru/262310
вот моё резюме

а что такое эффект?)

Любое воздействие на внешний мир, которое можно считать результатом работы части программы, но которое не описывается областью значений функции

Здесь туманное опредеделение, зависит от того, в каком случае вы считаете результат работы программы одинаковым или разным.
Изменение любой мутабельной операции - эффект
Чтение мутабельной переменной - больше коэффект, но условно тоже можно назвать эффектом
Взаимодействие с внешними системами, существенно влияющее на них - эффект,

Логи\трассировка - на пограничной зоне. Если вы готовы признать две программы, которые пишут разные логи одинаковыми, тогда это не эффект.
Если логи - существенная информация, тогда эффект

А что на выходе получаем когда вся кодбаза использует IO монаду, thread safety?

Вы не получаете никаких гарантий относительно поведения приложения, благодаря использованию IO

Это лишь способ композиции конкуретных приложений, который сильно облегчает написание

concurrent?

не понял вопроса

конкуретные приложение всмысле про конкаренси ?

да, конкурентность в смысле про конкуретность

а конкурентность это многопоточное выполнение не зависящих задач, так как паралелизм одной задачи но подзадачи паралельно ?

Вот в этом смысле https://en.wikipedia.org/wiki/Concurrent_computing

конкурентность -> конкурируют за один и тотже ресурс.
паралельность -> независимое использование разных ресурсов

Нет, конкурентость не за ресурсы.
Части программы выполняются конкурентно - значит нельзя упорядочить их так, чтобы можно было считать, что первая часть программы выполнилась строго до второй

А под собой IO имеет синхронизацию или лок?

под собой IO не имеет никаких синхронизаций или локов

Ух, про параллельностью можно сказать тоже самое

Что поделать

про порядок, это что-то из области комутативности