Function refuse_when_lazily 

pub fn refuse_when_lazily<S, C, E, F: Clone>(
    state: &S,
    command: &C,
    checks: &[Guard<S, C, F>],
    ok: E,
) -> Result<E, F>