Marker types, such as for accessing unsafe APIs, for overload resolution, or type elision.
A marker that designates emptinesss, for constructing an empty collection.
A marker that designates a function as unsafe, or containing Undefined Behaviour if its preconditions are not met.
EmptyMarker which can be passed to
constructors to allow type deduction instead of having to write out the full