[monad.result] changed: separate traceback from banner with empty line