SyncIO - это по сути что-то вроде Try + Eval.
Откладывание всех сайдэфектов, так чтобы они не интерферировали с композицией, алгебраическое управление ошибками, о котором вы общались, ну и стекобезопасность: легко описывать функции со сложной рекурсией не опасаясь за переполнение стека.