A marker that designates emptinesss, for constructing an empty collection.
To use this type as an argument, use the global empty.
empty