The purported benefits of effect systems