я не знаю, что такое православный контроль эффектов. Я всего лишь утверждаю, что когда в сигнатуре есть асинк — это удобно, чтоб понять, что функция делает ИО со всеми вытекающими. И если в сигнатуре резалт с нормально описанными доменными ошибками — с этим тоже проще жить, чем выискивать по коду `BusinessLogicException`ы.
я с этим совершенно согласен, но речь шла про контроль эффектов, который мы даже определить не можем