Well-known property under which a host package's function (an assert, a
predicate, a refute) carries the core validator it wraps, so container
combinators can compose validators structurally instead of round-tripping
through thrown errors, booleans or reason strings.
Well-known property under which a host package's function (an assert, a predicate, a refute) carries the core validator it wraps, so container combinators can compose validators structurally instead of round-tripping through thrown errors, booleans or reason strings.