I'm not sure that this is the right use of a typedef. `@List` is smaller and more concise to write, and it is also more clear about how the list is built.