I’d expect what they call shorthands in that section refers to [atom] being a shorthand of the parameterized built in type list(atom). Thought that’s curious as built in types are documented as to be defined by type literals (the therefore short forms). {...} is not a valid type as is.
I read {...} as just “a tuple with stuff in it”, ie. they mean you can use things like, {:ok, binary()} instead of tuple(:ok, binary()). But maybe it’s a doc bug, it’s definitely confusing seeing as you can literally have [...]