What's the type of an empty list?