Allow more inference on ... lists.