Not to mention that an empty list still has a type...