Infer type of empty list