sequential-evaluation operator