You are correct that either way would work. and is used for mutually recursive types. The only thing it does here is let us write our types in reverse order (so in this case, they’re not really mutually recursive).
Being able use and to write nested type definitions “backwards” can look nice (IMO) when nesting a very large number of types.
We're a place where coders share, stay up-to-date and grow their careers.
We strive for transparency and don't collect excess data.