A traverser describes how to travers a given type by providing a hook to
resolve a parameter into an arbitrary and a means to find all relevant
creators (constructors or factory methods) for a type that does not have a suitable default arbitrary.
Von Schnittstelle geerbte verschachtelte Klassen/Schnittstellen Arbitrary