Кирилл, у нас в рабочей кодобазе есть эксепшены, которые только про предметную область, и которыми мы вполне можем пользоваться, и восстанавливаться после них, продолжая наши Free-монадические сценарии. Сам фреймворк все внутренние исключения конвертит к ошибкам, и эти внутренние исключения - не про домен. У нас естественное разделение ошибок получается.