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