pub fn should_work<C, T>(n: &T) -> bool
where C: Check, T: VisitWith<C>,