The result of `()` is supposed to be the empty list