The type of both the car and cdr is the generic 'a, but that's the same 'a, so the elements of a list are only of one type.