replace {} -> Any[]