pub type Check = Box<dyn FnOnce(&Outcome) -> Result<(), String>>;
A check on the outcome of one seed. An Err (or a panic) fails the seed.
Err
pub struct Check(/* private fields */);